Operational equivalence of CHR programs and constraints

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

Volumn 1713, Issue , 1999, Pages 43-57

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

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; HIGH LEVEL LANGUAGES; SEMANTICS;

CONSTRAINT HANDLING RULES; PROGRAMMING LANGUAGE SEMANTICS; WRITING CONSTRAINT;

SYNTACTICS;

EID: 84957371990     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48085-3_4     Document Type: Conference Paper

References (10)

1. S. Abdennadher. Operational semantics and conuence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP97, LNCS 1330. Springer-Verlag, November 1997.
2. ACM. The constraint programming working group. Technical report, ACMMIT SDRC Workshop, Report Outline, 1996.
3. S. Abdennadher and T. Frühwirth. On completion of constraint handling rules. In 4th International Conference on Principles and Practice of Con- straint Programming, CP98, LNCS 1520. Springer-Verlag, 1998.
4. S. Abdennadher and T. Frühwirth. Operational equivalence of constraint handling rules. Research report PMS-FB-1999-4, Computer Science Department, University of Munich, 1999.
5. S. Abdennadher, T. Frühwirth, and H. Meuss. On conuence of constraint handling rules. In 2nd International Conference on Principles and Practice of Constraint Programming, CP96, LNCS 1118. Springer-Verlag, August 1996.
6. S. Abdennadher, T. Frühwirth, and H. Meuss. Conuence and semantics of constraint simplification rules. Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming, 4(2), May 1999.
7. S. Etalle, M. Gabrielli, and M. Meo. Unfold/fold transformations of CCP programs. In 9th International Conference on Concurrency Theory, 1998. Corrected version.
8. T. Frühwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, pages 95-138, October 1998.
9. M. Gabbrielli, G. Levi, and M. Chiara Meo. Observable behaviors and equivalences of logic programs. Information and Computation, 122(1):1-29, October 1995.
10. M. J. Maher. Equivalences of logic programs. In Proceedings of Third Inter- national Conference on Logic Programming, Berlin, 1986. Springer.