K. Yoshida and T. Chikayama. AU 0 M -a stream based concurrent object-oriented language-. In Proc. of the International Conference on 5th Generation Computer Systems, Tokyo, Japan, 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (217 citations) (Correct)
....extension of Prolog, which we call Linear Objects (henceforth LO) with the aim of providing a logic programming framework capable of accommodating the main features of object oriented programming. Our starting point is the approach, originally introduced in concurrent logic programming languages [17, 29, 31, 32], which identifies objects with proof processes and object states with arguments occurring in the goal of a given process. From a logic programming point of view, this approach provides a clean, side effect free account of the dynamic behavior of objects in terms of the only dynamic entity of ....
....on Herbrand interpretations. 5 Related Work The logic programming community has produced many contributions in the direction of object oriented programming. Among the efforts which have been focusing on the dynamic aspects of object oriented programming (i.e. change of state) we have mentioned [11, 17, 19, 29, 30, 31, 32]; efforts which have been focusing on the static aspects (i.e. inheritance) of object oriented programming are described in [2, 9, 12, 16, 21, 33] The framework presented here should provide a theoretical basis for the integration of these two traditions. 10, 28, 8] provide also extensions of ....
K. Yoshida and T. Chikayama. AU 0 M -a stream based concurrent object-oriented language-. In Proc. of the International Conference on 5th Generation Computer Systems, Tokyo, Japan, 1988.
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (217 citations) (Correct)
....extension of Prolog, which we call Linear Objects (henceforth LO) with the aim of providing a logic programming framework capable of accomodating the main features of object oriented programming. Our starting point is the approach, originally introduced in concurrent logic programming languages [12, 22, 24, 25], which identifies objects with proof processes and object states with arguments occurring in the goals of a given process. From a logic programming point of view, this approach provides a clean, side effect free account of the dynamic behavior of objects in terms of the only dynamic entity of ....
....objects encoded as contexts. 5 Related Work The logic programming community has produced many contributions in the direction of object oriented programming. Among the efforts which have been focusing on the dynamic aspects of object oriented programming (i.e. change of state) we have mentioned [6, 12, 14, 22, 23, 24, 25]; efforts which have been focusing on the static aspects (i.e. inheritance) of object oriented programming are described in [1, 4, 7, 11, 26] The framework presented here should provide a theoretical basis for the integration of these two traditions. 5] provides also an extension of Prolog in ....
K. Yoshida and T. Chikayama. AU 0 M -a stream based concurrent object-oriented language-. In Proc. of the International Conference on 5th Generation Computer Systems, Tokyo, Japan, 1988.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC