Operational semantics and confluence of constraint propagation rules

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

Volumn 1330, Issue , 1997, Pages 252-266

  Abdennadher, Slim ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; SEMANTICS;

CONDITIONAL TERM REWRITING SYSTEMS; CONSTRAINT HANDLING RULES; CONSTRAINT PROPAGATION; OPERATIONAL SEMANTICS; PROPAGATION RULE; SIMPLIFICATION RULES; SUFFICIENT AND NECESSARY CONDITION; TERMINATION PROBLEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84948994483     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0017444     Document Type: Conference Paper

References (11)

1. [Abd97.] S. Abdennadher. Rewriting concepts in the study of confluence of constraint handling rules. Technical report PMS-FB-1997-15, Institute of Computer Science, Ludwig-Maximilians-University Munich, January 1997.
2. [AFM96.] S. Abdennadher, T. Frühwirth, and H. Meuss. On confluence of constraint handling rules. In E. Freuder, editor, Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP'96, LNCS 1118. Springer, August 1996.
3. [BFL+94.] P. Brisset, T. Frühwirth, P. Lim, M. Meier, T. Le Provost, J, Schimpf, and M. Wallace. ECU PS 3.4 Extensions User Manual. ECRC Munich Germany, July 1994.
4. [DOS88. N.] Dershowitz, N. Okada, and G. Sivakumar. Confluence of conditional rewrite systems. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings of the 1st International Workshop on Conditional Term Rewriting Systems, LNCS 308, pages 31-44, 1988.
5. [Frü95.] T. Frühwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, LNCS 910. Springer, 1995.
6. [JM94.] J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 20:503-581, 1994.
7. [Meu96.] Holger Meuss. Konfluenz von Constraint-Handling-Rules-Programmen. Master's thesis, Institut für Informatik, Ludwig-Maximilians-Universität München, 1996.
8. [New42.] M. H. A. Newman. On theories with a combinatorial definition of equivalence. In Annals of Math, volume 43, pages 223-243, 1942.
9. [Sar93.] V.A. Saraswat. Concurrent Constraint Programming. MIT Press, Cambridge, 1993.
10. [vH91.] P. van Hentenryck. Constraint logic programming. The Knowledge Engineering Review, 6:151-194, 1991.
11. [ZR85.] H. Zhang and J. L. Remy. Contextual rewriting. In Jean-Pierre Jouannaud, editor, Proceedings of the 1st International Conference on Rewriting Techniques and Applications, volume 202 of LNCS, pages 46-62, Dijon, France, May 1985. Springer.