François Fages, Paul Ruet, Sylvain Soliman  Home/Search
Context Related
| pauillac.inria.fr/~fage...FRS00ic.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: pauillac.inria.fr/~fages...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we give a logical semantics for the class CC of concurrent constraint programming languages and for its extension LCC based on linear constraint systems. Besides the characterization in intuitionistic logic of the stores of CC computations, we show that both the stores and the successes of LCC computations can be characterized in intuitionistic linear logic. We illustrate the usefulness of these results by showing with examples how the phase semantics of linear logic can be... (Update)
Context of citations to this paper: More
.... removed from the store during computations, have been thus de ned to escape from these limitations [4] For example, the language LCC [10, 25] is a variant of CC with constraint systems based on linear logic and where constraints are consumed by the ask agents. 25] gives...
.... Yves Girard s Linear Logic [6] that is sound and complete for observing the entailment closed sets of successes and accessible stores [5, 4, 12]. This, among other reasons, led to a generalization of CC languages, called Linear Concurrent Constraint languages (LCC) that is used...
Cited by: More
Pi-calculus and LCC, a Space Odyssey - Soliman (2003) (Correct)
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (Correct)
CLP Implementation of a Phase Model Checker - Soliman (Correct)
Similar documents (at the sentence level):
21.0%: Phase Semantics and Verification of Concurrent Constraint.. - Fages, Ruet, Soliman (1998) (Correct)
5.3%: The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
Active bibliography (related documents): More All
0.8: Concurrent Constraint Programming and Non-Commutative Linear.. - Ruet, Fages (1996) (Correct)
0.7: Concurrent Constraint Programming and Non-Commutative Logic - Ruet, Fages (1998) (Correct)
0.5: A Precise Logical Semantics of Concurrent Constraint Programs - Soliman (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.0: Phase Model Checking for some Linear Logic - Soliman (Correct)
0.7: CMBSlib: a Library for Comparing Formalisms and Models of.. - Soliman, Fages (2004) (Correct)
0.7: CLPGUI: a Generic Graphical User Interface for Constraint .. - Fages, Soliman, Coolen (2004) (Correct)
Related documents from co-citation: More All
10: Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
9: Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
9: Concurrent Constraint Programming (context) - Saraswat - 1990
BibTeX entry: (Update)
F. Fages, P. Ruet, and S. Soliman. Linear concurrent constraint programming: operational and phase semantics. Technical Report LIENS, 1997. http://citeseer.ist.psu.edu/article/fages00linear.html More
@article{ fages01linear,
author = "Francois Fages and Paul Ruet and Sylvain Soliman",
title = "Linear Concurrent Constraint Programming: Operational and Phase Semantics",
journal = "Information and Computation",
volume = "165",
number = "1",
pages = "14-41",
year = "2001",
url = "citeseer.ist.psu.edu/article/fages00linear.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
373 Constraint logic programming: a survey - Jaffar, Maher - 1994
344 Concurrent constraint programming (context) - Saraswat - 1993
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
232 Linda in context (context) - Carriero, Gelenter - 1989
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992
82 Logic for Computer Science: Foundations of Automatic Theorem.. (context) - Gallier - 1986
77 Constructive negation for constraint logic programming (context) - Stuckey - 1995
39 Proving concurrent constraint programs correct - de Boer, Gabbrielli et al. - 1997
32 Constraint processing in cc (context) - Van Hentenryck, Saraswat et al. - 1991
28 Constructive negation by pruning - Fages - 1997
27 Angelic non-determinism in concurrent constraint programming - Jagadeesan, Shanbhogue et al. - 1991
26 Proof search in first-order linear logic and other cut-free .. - Lincoln, Shankar - 1994
25 Logique non-commutative et programmation concurrente par con.. (context) - Ruet - 1997
24 Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
22 Operational semantics of constraint logic programming with c.. - Podelski, Smolka - 1995
19 The undecidability of second order multiplicative linear log.. - Lafont, Scedrov - 1996
18 Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
14 Concurrent constraint programming and non-commutative logic - Ruet, Fages - 1998
9 Girard's phase semantics and a higher-order cut-elimination .. (context) - Okada - 1994
9 Concurrent programming in linear logic (context) - Perrier - 1995
9 testing and observation equivalence for processes in a linea.. (context) - Kobayashi, Yonezawa - 1993
8 Completeness proofs for linear logic based on the proof sear.. (context) - Okada, Terui - 1998
8 Proofs as concurrent processes (context) - Lincoln, Saraswat - 1991
8 Phase semantics and verification of concurrent constraint pr.. - Fages, Ruet et al. - 1998
5 Defaut timed concurrent constraint programming (context) - Saraswat, Jagadeesan et al. - 1995
4 Logical semantics of concurrent constraint programming (context) - Ruet - 1996
3 Model theoretic construction of the operational semantics of.. (context) - Falaschi, Levi et al. - 1993
1 Programmation concurrente avec contraintes fond'ee sur la lo.. (context) - Schachter - 1999
Documents on the same site (http://pauillac.inria.fr/~fages/papers.html): More
The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
Typed Constraint Logic Programs: checking domain coercions.. - Coquery, Fages (Correct)
Using Modes to Ensure Subject Reduction for Typed Logic.. - Smaus, Fages, Deransart (2000) (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