François Fages, Paul Ruet, Sylvain Soliman  Home/Search
Context Related
Links: ACM DBLP | dmi.ens.fr/~fages/Papers...lics98.ps.gz ens.fr/~soliman/publi/lics.ps.gz dmi.ens.fr/~soliman/publi/lics.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: dmi.ens.fr/EDITIO...liens.langlog (more) From: ens.fr/~soliman/moi_these_e (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The class CC of concurrent constraint programming languages and its non-monotonic extension LCC based on linear constraint systems can be given a logical semantics in Girard's intuitionistic linear logic for a variety of observables. In this paper we settle basic completeness results and we show how the phase semantics of linear logic can be used to provide simple and very concise "semantical" proofs of safety properties for CC or LCC programs. 1 Introduction Constraint programming is an... (Update)
Context of citations to this paper: More
.... combine CC programming with linear logic (see [SL92] Pal97] We use here the linear concurrent constraint language LCC described in [FRS98a, FRS98b], and used for example in [Sch98] to express global constraint solvers where non monotonic imperative data structures have to...
.... as we allow the deletion of clauses (see e.g. Del) Some variants of ccp with nonmonotonic stores have been proposed, see e.g. [29, 9, 28, 4, 11]. In [9] an operator update x is used to hide the name of a variable. Our Del operator is more precise and allows us to describe...
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (2000) (Correct)
Similar documents (at the sentence level):
9.8%: Linear Concurrent Constraint Programming Over Reals - Schachter (1998) (Correct)
Active bibliography (related documents): More All
0.5: The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
0.5: A Precise Logical Semantics of Concurrent Constraint Programs - Fages, Soliman (Correct)
0.5: Concurrent Constraint Programming and Non-Commutative Linear.. - Ruet, Fages (1996) (Correct)
Similar documents based on text: More All
1.1: CLP Implementation of a Phase Model Checker - Soliman (Correct)
0.9: Phase Model Checking for some Linear Logic - Soliman (Correct)
0.6: CLPGUI: a Generic Graphical User Interface for Constraint .. - Fages, Soliman, Coolen (2004) (Correct)
Related documents from co-citation: More All
7: Concurrent Constraint Programming (context) - Saraswat - 1990
7: Theoretical Computer Science (context) - Girard - 1987
5: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
F.Fages, P.Ruet, and S.Soliman. Phase semantics and verification of concurrent constraint programs. In LICS, 1998. http://citeseer.ist.psu.edu/fages98phase.html More
@inproceedings{ fages98phase,
author = "Francois Fages and Paul Ruet and Sylvain Soliman",
title = "Phase Semantics and Verification of Concurrent Constraint Programs",
booktitle = "Logic in Computer Science",
pages = "141-152",
year = "1998",
url = "citeseer.ist.psu.edu/fages98phase.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
561 Constraint logic programming (context) - Jaffar, Lassez - 1987 ACM DBLP
373 Constraint logic programming: a survey - Jaffar, Maher - 1994 DBLP
344 Concurrent constraint programming (context) - Saraswat - 1993 ACM DBLP
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994 ACM DBLP
232 Linda in context (context) - Carriero, Gelenter - 1989 ACM DBLP
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991 ACM
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987 DBLP
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992 DBLP
27 Angelic non-determinism in concurrent constraint programming - Jagadeesan, Shanbhogue et al. - 1991
25 Logique non-commutative et programmation concurrente par con.. (context) - Ruet - 1997
24 Constraint processing in cc (context) - Van Hentenryck, Saraswat et al. - 1991
24 Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
20 Proving concurrent constraint programs correct - de Boer, Gabbrielli et al. - 1997 ACM DBLP
19 The undecidability of second order multiplicative linear log.. - Lafont, Scedrov - 1996 ACM DBLP
18 Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
14 Concurrent constraint programming and non-commutative linear.. - Ruet, Fages - 1998
10 Linear concurrent constraint programming: operational and ph.. - Fages, Ruet et al. DBLP
9 testing and observation equivalence for processes in a linea.. (context) - Kobayashi, Yonezawa - 1993
9 Girard's phase semantics and a higherorder cut-elimination p.. (context) - Okada - 1994
9 Concurrent programming in linear logic (context) - Perrier - 1995
8 Proofs as concurrent processes (context) - Lincoln, Saraswat - 1991
5 Defaut timed concurrent constraint programming (context) - Saraswat, Jagadeesan et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dmi.ens.fr/EDITION/PUBLICATIONS/liens.langlog.html): More
Interaction Nets and Term Rewriting Systems - Fernandez, Mackie (1998) (Correct)
From Term Rewriting to Generalised Interaction Nets - Fernández, Mackie (1996) (Correct)
A Generic Type System for CLP(X) - Fages, Paltrinieri (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