Confluence in concurrent constraint programming

Theoretical Computer Science

Volumn 183, Issue 2, 1997, Pages 281-315

  Falaschi, Moreno ^a   Gabbrielli, Maurizio ^b   Marriott, Kim ^c   Palamidessi, Catuscia ^d  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

^c MONASH UNIVERSITY   (Australia)

^d The Pennsylvania State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; FORMAL LOGIC;

DENOTATIONAL SEMANTICS;

COMPUTER SCIENCE;

EID: 0347937653     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00328-9     Document Type: Article

References (18)

1. F.S. de Boer, A. Di Pierro and C. Palamidessi, An algebraic perspective of constraint logic programming, Tech. Report DISI, Dipartimento di Informatica e Scienze dell'Informazione, University of Genova, 1995; J. Logic Comput., to appear.
2. F.S. de Boer, A. Di Pierro and C. Palamidessi, An algebraic perspective of constraint logic programming, Tech. Report DISI, Dipartimento di Informatica e Scienze dell'Informazione, University of Genova, 1995; J. Logic Comput., to appear.
3. F.S. de Boer, M. Gabbrielli, E. Marchiori and C. Palamidessi, Proving concurrent constraint programs correct, in: Proc. 21st ACM Symp. on Principles of Programming Languages (ACM Press, New York, 1994) 98-108.
4. F.S. de Boer and C. Palamidessi, A fully abstract model for concurrent constraint programming, in: S. Abramsky and T.S.E. Maibaum, eds., Proc. TAPSOFT/CAAP'91, Lecture Notes in Computer Science, Vol. 493 (Springer, Berlin, 1991) 296-319.
5. M. Codish, M. Falaschi, K. Marriott and W. Winsborough, Efficient analysis of concurrent constraint logic programs, in: A. Lingas, R. Karlsson and C. Carlsson, eds., Proc. ICALP'93, Lecture Notes in Computer Science, Vol. 700 (Springer, Berlin, 1993) 633-644.
6. P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proc. 4th ACM Symp. on Principles of Programming Languages (ACM Press, New York, 1977) 238-252.
7. M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi, Compositional analysis for concurrent constraint programming, in: Proc. 8th IEEE Symp. on Logic in Computer Science (IEEE Computer Society Press, Los Alamitos, CA, 1993) 210-221.
8. L. Henkin, J.D. Monk and A. Tarski, Cylindric Algebras, Part I (North-Holland, Amsterdam, 1971).
9. J. Jaffar and J.-L. Lassez, Constraint logic programming, in: Proc. 14th Annual ACM Symp. on Principles of Programming Languages (ACM Press, New York, 1987) 111-119.
10. R. Jagadeesan, V.A. Saraswat and V. Shanbhogue, Angelic nondeterminism in concurrent constraint programming, Tech. Report, Xerox Park, 1991.
11. J. Lloyd, Foundations of Logic Programming (Springer, Berlin, 2nd ed., 1987).
12. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92 (Springer, Berlin, 1980).
13. R. Milner, Communication and Concurrency (Prentice-Hall, UK, 1989).
14. P. Panangaden and V. Shanbhogue, The expressive power of indeterminate dataflow primitives, Inform. Comput. 98 (1992) 99-131.
15. V.A. Saraswat, Concurrent Constraint Programming, Logic Programming Series (The MIT Press, Cambridge, MA, 1993).
16. V.A. Saraswat and M. Rinard, Concurrent constraint programming, in: Proc. 17th Ann. ACM Symp. on Principles of Programming Languages (ACM Press, New York, 1990) 232-245.
17. V.A. Saraswat, M. Rinard and P. Panangaden, Semantics foundations of concurrent constraint programming, in: Proc. 18th Ann. ACM Symp. on Principles of Programming Languages (ACM Press, New York, 1991) 333-353.
18. E. Zaffanella, G. Levi and R. Giacobazzi, Abstracting synchronisation in concurrent constraint programming, in: M. Hermenegildo and J. Penjam, eds., Proc. 6th Internat. Symp. on Programming Languages Implementation and Logic Programming, Lecture Notes in Computer Science, Vol. 844 (Springer, Berlin, 1994) 57-72.