Phase semantics and verification of concurrent constraint programs

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 141-152

  Fages, François ^a   Ruet, Paul ^a   Soliman, Sylvain ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; LINEAR ALGEBRA; SEMANTICS;

CONCURRENT CONSTRAINT; CONCURRENT CONSTRAINT PROGRAMMING; INTUITIONISTIC LINEAR LOGIC; LINEAR CONSTRAINTS; LINEAR LOGIC; LOGICAL SEMANTICS; PHASE SEMANTICS; SAFETY PROPERTY;

COMPUTER CIRCUITS;

EID: 84902500281     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705651     Document Type: Conference Paper

References (25)

1. J.M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9:445{473, 1991.
2. E. Best, F.S. de Boer, and C. Palamidessi. Con- current constraint programming with information removal. In Proceedings of Coordination, LNCS. Springer-Verlag, 1997.
3. N. Carriero and D. Gelenter. Linda in context. Comm. ACM, 32(4):445{458, 1989.
4. F.S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving concurrent constraint programs correct. ACM-TOPLAS, 19(5):685{ 725, 1997.
5. F. Fages, P. Ruet, and S. Soliman. Linear con- current constraint programming: operational and phase semantics. Technical report, DMI - LIENS, In preparation.
6. J.Y. Girard. Linear logic. Theoretical Computer Science, 50(1), 1987.
7. P. Van Hentenryck, V.A. Saraswat, and Y. Deville. Constraint processing in cc(FD). Draft, 1991.
8. J.S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327{365, 1994.
9. J. Jaffar and J-L. Lassez. Constraint logic pro- gramming. In Proceedings of the 14th ACM Sym- posium on Principles of Programming Languages, Munich, Germany, pages 111{119. ACM, Jan- uary 1987.
10. J. Jaffar and M.J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19-20:503{581, May 1994.
11. R. Jagadeesan, V. Shanbhogue, and V.A. Saraswat. Angelic non-determinism in concurrent constraint programming. Technical report, Xerox Parc, 1991.
12. N. Kobayashi and A. Yonezawa. Logical, test- ing and observation equivalence for processes in a linear logic programming. Technical Report 93- 4, Department of Computer Science, University of Tokyo, 1993.
13. Y. Lafont and A. Scedrov. The undecidability of second order multiplicative linear logic. Information and Computation, 125(1):46{51, 1996.
14. P. Lincoln, J. Mitchell, A. Scedrov, and N. Shankar. Decision problems for propositional linear logic. Annals of Pure and Applied Logic, 56:239{311, 1992.
15. P. Lincoln and V.A. Saraswat. Proofs as concurrent processes. Draft, 1991.
16. M.J. Maher. Logic semantics for a class of committed-choice programs. In Proceedings of ICLP'87, International Conference on Logic Programming, 1987.
17. D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125{157, 1991.
18. M. Okada. Girard's phase semantics and a higher- order cut-elimination proof. Technical report, In- stitut de Mathematiques de Luminy, 1994.
19. G. Perrier. Concurrent programming in linear logic. Technical Report CRIN 95-R-052, INRIA- Lorraine, 1995.
20. P. Ruet. Logique non-commutative et program- mation concurrente par contraintes. PhD thesis, Universite Denis Diderot, Paris 7, 1997.
21. P. Ruet and F. Fages. Concurrent constraint programming and non-commutative linear logic. In Computer Science Logic'97, LNCS. Springer- Verlag, 1998.
22. V.A. Saraswat. Concurrent constraint programming. ACM Doctoral Dissertation Awards. MIT Press, 1993.
23. V.A. Saraswat, R. Jagadeesan, and V. Gupta. Defaut timed concurrent constraint programming. In POPL'95: Proceedings ACM Symposium on Principles of Programming Languages, 1995.
24. V.A. Saraswat and P. Lincoln. Higher-order linear concurrent constraint programming. Technical report, Xerox Parc, 1992.
25. V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In POPL'91: Proceedings 18th ACM Symposium on Principles of Programming Languages, 1991.