Linear concurrent constraint programming: Operational and phase semantics

Information and Computation

Volumn 165, Issue 1, 2001, Pages 14-41

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

^a INRIA ROCQUENCOURT   (France)

^b IML CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; TENSORS;

CONCURRENT CONSTRAINT PROGRAMMING;

CONSTRAINT THEORY;

EID: 0035946057     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2000.3002     Document Type: Article

References (38)

1. Andreoli, J. M., and Pareschi, R. (1991), Linear objects: Logical processes with built-in inheritance, New Genenration Comput. 9, 445-473.
2. Berry, G., and Boudol, G. (1992), The chemical abstract machine. Theoret. Comput. Sci. 96.
3. Best, E., de Boer, F. S., and Palamidessi, C. (1997), Concurrent constraint programming with information removal, in "Proceedings of Coordination," LNCS, Springer-Verlag, Berlin.
4. Carriero, N., and Gelenter, D. (1989), Linda in context, Commun. Assoc. Comput. Mach. 32(4), 445-458.
5. de Boer, F. S., Gabbrielli, M., Marchiori, E., and Palamidessi, C. (1997), Proving concurrent constraint programs correct, ACM-TOPLAS 19(5), 685-725.
6. Fages, F. (1997), Constructive negation by pruning, J. Logic Programming 32(2).
7. Fages, F., Ruet, P., and Soliman, S. (1998), Phase semantics and verification of concurrent constraint programs, in "Proc. 13th Annual IEEE Symposium on Logic in Computer Science," Indianapolis.
8. Falaschi, M., Levi, G., Martelli, M., and Palamidessi, C. (1993), Model theoretic construction of the operational semantics of logic programs, Inform. Comput. 102(1).
9. Gallier, J. H. (1986), "Logic for Computer Science: Foundations of Automatic Theorem Proving," Harper & Row, New York.
10. Girard, J. Y. (1987), Linear logic, Theoret. Comput. Sci. 50(1).
11. Van Hentenryck, P., Saraswat, V. A., and Deville, Y. (1991). Constraint processing in cc(FD), draft.
12. Hodas, J. S., and Miller, D. (1994), Logic programming in a fragment of intuitionistic linear logic, Inform. Comput. 110(2), 327-365.
13. Jaffar, J., and Lassez, J.-L. (1987), Constraint logic programming, in "Proceedings of the 14th ACM Sympostum on Principles of Programming Languages, Munich, Germany," pp. 111-119. Assoc. Comput. Mach., New York.
14. Jaffar, J., and Maher, M. J. (1994), Constraint logic programming: A survey, J. Logic Programming 19-20, 503-581.
15. Jagadeesan, R., Shanbhogue, V., and Saraswat, V. A. (1991), Angelic non-determinism in concurrent constraint programming, Technical Report. Xerox Parc.
16. Kobayashi, N., and Yonezawa, A. (1993), Logical, testing and observation equivalence for processes in a linear logic programming, Technical Report 93-4, Department of Computer Science, University of Tokyo.
17. Lafont, Y., and Scedrov, A. (1996), The undecidability of second order multiplicative linear logic, Inform. Comput. 125(1). 46-51.
18. Lincoln, P., Mitchell, J., Scedrov, A., and Shankar, N. (1992), Decision problems for propositional linear logic, Annals Pure Appl. Logic 56, 239-311.
19. Lincoln, P., and Saraswat, V. A. (1991), Proofs as concurrent processes, Draft.
20. Lincoln, P., and Shankar, N. (1994), Proof search in first-order linear logic and other cut-free sequent calculi, in "Proc. 9th Annual IEEE Symposium on Logic in Computer Science, Paris."
21. Maher, M. J. (1987), Logic Semantics for a class of committed-choice programs, in "Proc. ICLP'87, International Conference on Logic Programming."
22. McDowell, R., Miller, D., and Palamidessi, C. (2000), Encoding transition systems in sequent calculus, Theoret. Comput. Sci. to appear.
23. Miller, D., Nadathur, G., Pfenning, F., and Scedrov, A. (1991), Uniform proofs as a foundation for logic programming, Annals Pure Appl. Logic 51, 125-157.
24. Milner, R., Parrow, J., and Walker, D. (1992), A calculus of mobile processes, I and II Inform. Comput. 100(1).
25. Okada, M. (1994), Girard's phase semantics and a higher order cut-elimination proof, Technical Report, Institut de Mathematiques de Luminy.
26. Okada, M., and Terui, K. (1998), Completeness proofs for linear logic based on the proof search method (preliminary report), in "Type Theory and Its Applications to Computer Systems," (J. Garrigue, Ed.), pp. 57-75, Research Institute for Mathematical Sciences, Kyoto University.
27. Perrier, G. (1995), Concurrent programming in linear logic, Technical Report CRIN 95-R-052, INRIA-Lorraine.
28. Podelski, A., and Smolka G. (1995), Operational semantics of constraint logic programming with coroutining, in "Proceedings of ICLP'95. International Confrerence on Logic Programming," Tokyo.
29. Ruet, P. (1996), Logical semantics of concurrent constraint programming, in "Proc. CP'96, 2nd Int. Conf. on Constraint Programming, Combridge, MA," LNCS 1118, Springer-Verlag, Berlin.
30. Ruet, P. (1997), "Logique non-commutative et programmation concurrente par contraintes." Ph.D. thesis, Université Denis Diderot, Paris 7.
31. Ruet, P., and Fages, F. (1998), Concurrent constraint programming and non-commutative logic., in "Proc. CSL'97, Annual Conf. EACSL," LNCS 1414, Springer-Verlag, Berlin.
32. Saraswat, V. A. (1993) "Concurrent Constraint Programming," ACM Doctoral Dissertation Awards, MIT Press, Cambridge, MA.
33. Saraswat, V. A., Jagadeesan R., and Gupta V. (1995), Defaut timed concurrent constraint programming, in "POPL'95: Proceedings ACM Symposium on Principles of Programming Language.
34. Saraswat, V. A., and Linclon, P. (1992), Higher-order linear concurrent constraint programming, Technical Report, Xerox Parc.
35. Saraswat, V. A., Rinard, M., and Panagaden, P. (1991), Semantic foundations of concurrent constraint programming, in "POPL'91: Proceedings 18th ACM Symposium on Principles of Programming Languages.
36. Schöchter, V. (1999), "Programmation concurrente avec contraintes fondée sur la logique linéaire. Ph.D. thesis, Université d'Orsay, Paris 11.
37. Stuckey, P. J. (1995), Constructive negation for constraint logic programming, Inform. Comput. 118(1).
38. Tse, C. (1994), "The Design and Implementation of an Actor Language Based on Linear Logic," Master's thesis, MIT.