Sylvain Soliman  Home/Search
Context
Related
| contraintes.inria.fr/~soli...iwil.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: contraintes.inria.fr/~solim...moi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Building upon previous work in the logical semantics of linear concurrent constraint programming languages (LCC), an example of linear logic based calculus, we design an original phase model checking method for proving safety properties of programs. We describe our implementation of the phase model checker using constraint programming techniques and provide first experimental results. (Update)
Similar documents (at the sentence level): More
42.9%: The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
24.7%: CLP Implementation of a Phase Model Checker - Soliman (Correct)
20.6%: Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (Correct)
Active bibliography (related documents): More All
0.2: Concurrent Constraint Programming and Non-Commutative Logic - Ruet, Fages (1998) (Correct)
0.1: Expressiveness and Complexity of Concurrent Constraint.. - Fages, Soliman, Vianu (Correct)
0.1: Resource Tableaux (Extended Abstract) - Galmiche, Méry, Pym (Correct)
Similar documents based on text: More All
0.6: Linear Concurrent Constraint Programming Over Reals - Schachter (1998) (Correct)
0.5: Concurrent Constraint Programming and Non-Commutative Linear.. - Ruet, Fages (1996) (Correct)
BibTeX entry: (Update)
@misc{ soliman-phase,
author = "Sylvain Soliman",
title = "Phase Model Checking for some Linear Logic",
url = "citeseer.ist.psu.edu/526062.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
344 Concurrent constraint programming (context) - Saraswat - 1993
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
46 Programming in lygon: An overview - Harland, Pym et al. - 1996
24 Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
18 Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
11 Phase semantics and veri cation of concurrent constraint pro.. (context) - Fages, Ruet et al. - 1998
10 Linear concurrent constraint programming: operational and ph.. - Fages, Ruet et al. - 2001
9 Girard's phase semantics and a higher-order cut-elimination .. (context) - Okada - 1994
8 Completeness proofs for linear logic based on the proof sear.. (context) - Okada, Terui - 1998
3 Non-monotonic concurrent constraint programming veri cation .. (context) - Yilma - 1999
2 Programmation concurrente avec contraintes et logique linea.. (context) - Soliman - 2001
Documents on the same site (http://contraintes.inria.fr/~soliman/moi.html):
A Precise Logical Semantics of Concurrent Constraint Programs - Soliman (Correct)
CLP Implementation of a Phase Model Checker - Soliman (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