Jean-Marc Andreoli, Remo Pareschi  Home/Search
Context Related
Links: ACM DBLP | xerox.com/people/andreoli/...dist.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: xerox.com/people/andreoli/...home (more) (Enter author homepages) |
Rate this article:      (best)View Comments (0) |
Abstract: We introduce a novel concurrent logic programming language, which we call LO, based on an extension of Horn logic. This language enhances the process view of objects implementable in Horn-based concurrent logic programming languages with powerful capabilities for knowledge structuring, leading to a flexible form of variable-structure inheritance. The main novelty about LO is a new kind of OR-concurrency which is dual to the usual AND-concurrency and provides us with the notion of structured ... (Update)
Context of citations to this paper: More
...based on logics appear to offer certain advantages with respect to abstraction of interface and implicit vs. explicit concurrency [3], 18] 21] We have also been rather abstract in the presentation of our example. We feel that requirements for reusability should...
.... declarativeaplarativ based on logics apics to offer certain advantages withrespH to abstraction of interface andimp: H: vs.exp.L concurrency [3], 18] 21] We have also been rather abstract in thepW:4H .W) L of ourexamp H We feel that requirements for reusability should...
Cited by: More
Supporting Software Reuse in Concurrent Object-Oriented.. - Papathomas, Nierstrasz (1990) (Correct)
Issues in Concurrent and Distributed Objects - Mills (1992) (Correct)
Active bibliography (related documents): More All
1.3: Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
0.3: Logic Programming with Focusing Proofs in Linear Logic - Andreoli (1992) (Correct)
0.3: Communication as Fair Distribution of Knowledge - Andreoli, Pareschi (1991) (Correct)
Similar documents based on text: More All
0.4: A (Not Very Much) Annotated Bibliography on Integrating.. - Alexiev (1993) (Correct)
0.2: Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (Correct)
0.2: Rule-based Object Coordination - Andreoli, Gallaire, Pareschi (1995) (Correct)
Related documents from co-citation: More All
3: Actalk: A Testbed for Classifying and Designing Actor Languages in the Smalltalk.. - Briot - 1989
2: Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
2: POOL-T, A parallel object-oriented language (context) - America - 1987
BibTeX entry: (Update)
J-M. Andreoli and R. Pareschi, "LO and Behold! Concurrent Structured Processes," ACM SIGPLAN Notices, Proceedings OOPSLA/ECOOP '90, vol. 25, no. 10, pp. 44-56, Oct 1990. http://citeseer.ist.psu.edu/andreoli90lo.html More
@misc{ andreoli90lo,
author = "J. Andreoli and R. Pareschi",
title = "LO and Behold! Concurrent Structured Processes",
text = "J-M. Andreoli and R. Pareschi, LO and Behold! Concurrent Structured Processes,
ACM SIGPLAN Notices, Proceedings OOPSLA/ECOOP '90, vol. 25, no. 10, pp.
44-56, Oct 1990.",
year = "1990",
url = "citeseer.ist.psu.edu/andreoli90lo.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992 ACM
268 Proofs and Types (context) - Girard, Lafont et al. - 1989 ACM
247 The family of concurrent logic programming languages (context) - Shapiro - 1989 ACM DBLP
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1990 ACM
194 the development of reactive systems (context) - Harel, Pnueli - 1985
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
63 Parallel Logic Programming in Parlog (context) - Gregory - 1987 ACM
61 Object oriented programming in concurrent prolog (context) - Shapiro, Takeuchi - 1983 ACM DBLP
57 A subset of concurrent prolog and its interpreter (context) - Shapiro - 1983 ACM
45 Actors: a conceptual foundation for concurrent object-orient.. (context) - Agha, Hewitt - 1987 ACM DBLP
30 Logic programming with sequent systems: a linear logic appro.. (context) - Andreoli, Pareschi - 1990
29 Concurrent object oriented programming in ACT - Lieberman - 1987
27 POLKA: a parlog object oriented language (context) - Davison - 1988
24 Logical objects (context) - Conery - 1988 DBLP
24 VULCAN: logical concurrent objects (context) - Kahn, Tribble et al. - 1986 ACM DBLP
20 The challenge of open systems (context) - Hewitt - 1985 ACM
4 ese des paradigmes de la programmation logique et de la prog.. (context) - Andreoli, une - 1990
4 Quantifiers in linear logic (context) - Girard - 1987
3 Technical report (context) - Meier, Dufresne et al. - 1988
2 Formulae as active representation of data (context) - Andreoli, Pareschi - 1990
1 Logic programs with implicit variables (context) - Kahn, Silverman et al. - 1988
1 Channels: a generalisation of streams (context) - Tribble, Miller et al. - 1986
1 Sharing and organisation protocols in object-oriented system.. (context) - Tomlinson, Scheevel et al. - 1989
Documents on the same site (http://www.rxrc.xerox.com/people/andreoli/publications/home.html): More
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
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