On confluence of constraint handling rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1118, Issue , 1996, Pages 2-15

  Abdennadher, Slim ^a   Frühwirth, Thom ^a   Meuss, Holger ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Committed choice languages; Confluence and determinacy; Constraint reasoning; Semantics of programming languages

Indexed keywords

EID: 84957878613     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61551-2_62     Document Type: Conference Paper

References (16)

1. S. Abdennadher, T. Frühwirth, and H. Meuss. Confluent simplification rules. Technical report, LMU Munich, January 1996.
2. P. Brisset, T. Frühwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf, and M. Wallace. ECLiPSe3.4 Extensions User Manual. ECRC Munich Germany, July 1994.
3. N. Dershowitz, N. Okada, and G. Sivakumar. Confluence of conditional rewrite systems. In 1st CTRS pages 31-44. LNCS 308, 1988.
4. ECLiPSe3.4 User Manual, July 1994.
5. M. Falaschi, M. GabbrieUi, K. Marriott, and C. Palamidessi. Confluence in concurrent constraint programming. In Alagar and Nivat, editors, Proceedings of AMAST '95, LNCS 936. Springer, 1995.
6. T. Frühwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends. LNCS 910, March 1995.
7. J. Jaffar and J. L. Lassez. Constraint logic programming. In Proceedings of the 14th A CM Symposium on Principles of Programming Languages POPL-87, Munich, Germany, pages 111-119 1987.
8. J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 20:503-581, 1994.
9. Claude Kirchner and Héléne Kichner. Rewriting: Theory and Applications. North-Holland, 1991.
10. M. J. Maher. Logic Semantics for a Class of Committed-Choice Programs. In Fourth International Conference on Logic Programming, pages 858-876, Melbourne, Australia, May 1987.
11. K. Marriott and M. Odersky. A confluent calculus for concurrent constraint programming with guarded choice. In Ugo Montanari Francesca Rossi, editor, Principles and Practice of Constraint Programming, Proceedings First International Conference, CP'95, Cassis, France, pages 310-327, Berlin, September 1995. Springer.
12. David A. Plaisted. Equational reasoning and term rewriting systems. In D. Gabbay, C. Hogger, J. A. Robinson, and J. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1, chapter 5, pages 273-364. Oxford University Press, Oxford, 1993.
13. V. A. Saraswat. Concurrent Constraint Programming. MIT Press, Cambridge, 1993.
14. E. Shapiro. The family of concurrent logic programming languages. In A CM Computing Surveys, volume 21:3, pages 413-510, September 1989.
15. V. A. Saraswat, M. Rinard, and P. Panangaden. The semantics foundations of concurrent constraint programming. In Conference Record of the Eighteenth Annual ACM Symposium on principles of Programming Languages, pages 333-352, Orlando, Florida, January 1991. ACM Press.
16. P. van Hentenryck. Constraint logic programming. In The Knowledge Engineering Review, volume 6, pages 151-194, 1991.