D. Miller. A logical analysis of modules in logic. Journal of Logic Programming, 6(1+2), 1989. 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)
....the family of Actor languages (see for instance [1] as we have shown in [5] One of the main aims of LO is that of providing a more structured notion of goal formula, suitable to represent structured objects with changeable state. In this sense, our effort is complementary with efforts such as [14, 24, 23, 26], which introduce a more structured notion of logic program, suitable for modular logic programming. Recent developments in this direction [18] also make use of Linear Logic operators to implement more refined notions of control. Acknowledgement We are indebted to Francois Bry, Gerard Comyn, ....
D. Miller. A logical analysis of modules in logic. Journal of Logic Programming, 6(1+2), 1989.
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (217 citations) (Correct)
....but rather one has to address objects using explicit object identifiers. One of the main aims of LO is that of providing a more structured notion of goal formula, suitable to represent structured objects with changeable state. In this sense, our effort is complementary with efforts such as [9, 18, 17, 20], which introduce a more structured notion of logic program, suitable for modular logic programming. It would be particularly interesting to compare our approach with recent developments of this line of research towards objectoriented programming [13] Finally, we would like to compare it in ....
D. Miller. A logical analysis of modules in logic. Journal of Logic Programming, 6(1+2), 1989.
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