The Refined Operational Semantics of Constraint Handling Rules

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

Volumn 3132, Issue , 2004, Pages 90-101

  Duck, Gregory J ^a   Stuckey, Peter J ^a   García De La Banda, María ^b   Holzbaur, Christian ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING;

CONSTRAINT HANDLING RULES; CONSTRAINT SOLVERS; OPERATIONAL SEMANTICS;

SEMANTICS;

EID: 34548103455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27775-0_7     Document Type: Article

References (12)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Gert Smolka, editor, Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, pages 252-266, 1997.
2. S. Abdennadher, T. Friihwirth, and H. Muess. Confluence and semantics of constraint simplification rules. Constraints, 4(2):133-166, 1999.
3. K. Apt and E. Monfroy. Automatic generation of constraint propagation algorithms for small finite domains. In Principles and Practice of Constraint Programming, pages 58-72, 1999.
4. B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. An overview of HAL. In Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, pages 174-188, 1999.
5. G.J. Duck, P.J. Stuckey, M. García de la Banda, and C. Holzbaur. Extending arbitrary solvers with constraint handling rules. In D. Miller, editor, Proceedings of the Fifth ACM SIGPLAN International Conference, on Principles and Practice of Declarative Programming, pages 79-90. ACM Press, 2003.
6. T. Frühwirth. http://www.pms.informatik.uni-muenchen.de/~webchr/.
7. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37:95-138, 1998.
8. T. Frühwirth. Proving termination of constraint solver programs. In New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, number 1865 in LNCS, pages 298-317. Springer-Verlag, 1999.
9. M. García de la Banda, P.J. Stuckey, W. Harvey, and K. Marriott. Mode checking in HAL. In J. LLoyd et al., editor, Proceedings of the First International Conference on Computational Logic, LNCS 1861, pages 1270-1284. Springer-Verlag, July 2000.
10. C. Holzbaur and T. Frühwirth. Compiling constraint handling rules into Prolog with attributed variables. In Gopalan Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming, number 1702 in LNCS, pages 117-133. Springer-Verlag, 1999.
11. C. Holzbaur and T. Frühwirth. A Prolog constraint handling rules compiler and runtime system. Journal of Applied Artificial Intelligence, 14(4), 2000.
12. C. Holzbaur, P.J. Stuckey, M. García de la Banda, and D. Jeffery. Optimizing compilation of constraint handling rules. In P. Codognet, editor, Logic Programming: Proceedings of the 17th International Conference, LNCS, pages 74-89. Springer-Verlag, 2001.