Jean-Marie Jacquet, Luís Monteiro  Home/Search
Context Related
Links: DBLP | info.fundp.ac.be/pub/p...RP92006.ps.Z 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: info.fundp.ac.be/~j...conferences (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Communicating clauses are proposed as an extension to contextual logic programming aiming at specifying the synchronous communication between agents, described here as units. The expressiveness of the extended framework is argued through the coding of producer/consumer schemes and several applications combining the logic and object-oriented styles of programming. Operational and declarative semantics are designed for the new framework. The operational semantics rests on a derivation relation... (Update)
Context of citations to this paper: More
...automatic parallelisation techniques are often not powerful enough to generate efficient programs. Other interesting approaches include [14] which presents a framework for an extension of Contextual Logic Programming. It allows the static determination of the set of...
...has been demonstrated through the coding of a variety of examples. It has been argued that one advantage over related work such as [12, 9, 8], which introduce synchronisation by special operators and not by altering the behaviour of tell and ask primitives, is that Scc permits...
Cited by: More
A Fully Abstract Semantics for a Version of.. - Jacquet, Brim.. (1999) (Correct)
A Process Algebra for Synchronous Concurrent.. - Brim, Gilbert.. (1996) (Correct)
Contribution to Semantics of a Data-Parallel Logic.. - Lallouet, Le Guyadec (1995) (Correct)
Similar documents (at the sentence level):
16.4%: Extended Horn Clauses: the Framework and some Semantics - Jacquet, Monteiro (1991) (Correct)
11.2%: Comparative Semantics of Generalized Horn Clauses - Jean-Marie Jacquet And (1991) (Correct)
Active bibliography (related documents): More All
0.8: From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
0.5: Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (Correct)
0.3: Efficient Rewriting in Cograph Trace Monoids - Bertol (1995) (Correct)
Similar documents based on text: More All
0.0: Polynomial Convergence of Primal-Dual Algorithms for.. - Monteiro (1997) (Correct)
0.0: Polynomiality of Primal-Dual Algorithms for Semidefinite.. - Monteiro, Tsuchiya (1997) (Correct)
0.0: General Interior-Point Maps and Existence of Weighted.. - Monteiro.. (1999) (Correct)
Related documents from co-citation: More All
6: Concurrent Constraint Programming (context) - Saraswat - 1990
5: A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Cla.. (context) - Falaschi, Levi et al. - 1994
5: A Fully Abstract Model for Concurrent Constraint Programming (context) - de Boer, Palamidessi - 1991
BibTeX entry: (Update)
Jacquet Jean-Marie and Lu'is Monteiro. Communicating clauses: Towards synchronous communication in contextual logic programming. In Krzysztof Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 98--112, Washington, USA, 1992. The MIT Press. http://citeseer.ist.psu.edu/jacquet92communicating.html More
@inproceedings{ m92communicating,
author = "Jacquet J.-M. and Monteiro, L.",
title = "Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming",
booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming",
publisher = "The MIT Press",
address = "Washington, USA",
editor = "Apt",
isbn = "0-262-51064-2",
pages = "98-112",
year = "1992",
url = "citeseer.ist.psu.edu/jacquet92communicating.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990 ACM
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989
121 Guarded Horn Clauses - Ueda - 1986 ACM DBLP
71 Modelling Concurrency with Partial Orders - Pratt - 1986
58 Contextual Logic Programming (context) - Monteiro, Porto - 1989 DBLP
57 A Subset of Concurrent Prolog and its Interpreter (context) - Shapiro - 1983 ACM
24 Logical Objects (context) - Conery - 1988 DBLP
20 A Synchronization Logic: Axiomatics and Formal Semantics of .. (context) - Falaschi, Levi et al. - 1984
16 And-Parallelism without Shared Variables (context) - Brogi - 1990 ACM DBLP
16 A Transformational View of Inheritance in Logic Programming (context) - Monteiro, Porto - 1990 ACM DBLP
10 Metric Pomsets Semantics for a Concurrent Language with Recu.. (context) - de Bakker, Warmerdam - 1990
7 Application and Implementation of a Parallel Logic Programmi.. (context) - Gregory - 1985
7 An Extension to Horn Clause Logic allowing the Definition of.. (context) - Monteiro - 1981 ACM DBLP
5 Extended Horn Clauses: the Framework and its Semantics (context) - Jacquet, Monteiro - 1991
5 Comparative Semantics for a Parallel Contextual Logic Progra.. (context) - Jacquet, Monteiro - 1990
5 A Horn Clause-like Logic for Specifying Concurrency (context) - Monteiro - 1982 DBLP
4 Communicating Clauses: the Framework and its Semantics (context) - Jacquet, Monteiro
4 Semantic Models for a Version of PARLOG (context) - de Boer, Kok et al. - 1989 DBLP
3 Fundamenta Informatica (context) - Grabowski, Languages - 1981
3 A First Order Semantics of a Connective Suitable to Express .. (context) - Degano, Diomedi - 1983
1 Comparative Semantics of Generalized Horn Clauses - Jacquet, Monteiro - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.info.fundp.ac.be/~jmj/Research/Publications/conferences.html): More
Modeling Coordination via Asynchronous Communication - Antonio Brogi And (1997) (Correct)
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (Correct)
On Relating Blackboards in the µLog Coordination Model - Jacquet, De Bosschere (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