Constraint handling rules - The story so far

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn 2006, Issue , 2006, Pages 13-14

  Frühwirth, Thorn ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

Applications; Computational logic; Concurrency; Constraint programming; Constraint solving; Executable specification; Program analysis; Rule based programming

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; CONSTRAINT THEORY; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SEMANTICS;

COMPUTATIONAL LOGIC; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVING; EXECUTABLE SPECIFICATION; PROGRAM ANALYSIS;

LOGIC PROGRAMMING;

EID: 33750911846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In 3rd Intl. Conf. on Principles and Practice of Constraint Programming, LNCS 1330. Springer, 1997.
2. S. Abdennadher and T. Fruhwirth. Operational equivalence of constraint handling rules. In Fifth Intl. Conf. on Principles and Practice of Constraint Programming, LNCS 1713. Springer, 1999.
3. S. Abdennadher and C. Rigotti. Automatic generation of chr constraint solvers, Theory Pract. Log. Program., 5(4-5):403-418, 2005.
4. J.-P. Banatre, A. Coutant, and D. L. Metayer. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4:133-144, 1988.
5. H. Betz and T. Frühwirth. A linear-logic semantics for constraint handling rules. In 11th Intl. Conf. on Principles and Practice of Constraint Programming CP 2005, LNCS 3709. Springer, 2005.
6. T. Frühwirth. Theory and practice of constraint handling rules, Special issue on constraint logic programming. Journal of Logic Programming, 37(1-3):95-138, 1998.
7. T. Frühwirth. As Time Goes By: Automatic Complexity Analysis of Simplification Rules. In 8th Intl. Conf. on Principles of Knowledge Representation and Reasoning, Toulouse, France, 2002.
8. T. Frühwirth and S. Abdennadher. Essentials of Constraint Programming. Springer, 2003.
9. K. Marriott and P. J. Stuckey. Programming with Constraints: An Introduction. MIT Press, Cambridge, Mass., 1998.
10. V. Saraswat. Concurrent Constraint Programming. MIT Press, Cambridge, Mass., 1993.
11. T. Schrijvers and T. Frühwirth. CHR Website, www.es.kuleuven.ac.be/ ~dtai/projecta/CHR/, 2006.
12. J. Sneyers, T. Schrijvers, and B. Demoen. The Computational Power and Complexity of Constraint Handling Rules. In Second Workshop on Constraint Handling Rules, Sitges, Spain, October 2005.