Guard and continuation optimization for occurrence representations of CHR

Lecture Notes in Computer Science

Volumn 3668, Issue , 2005, Pages 83-97

  Sneyers, Jon ^a   Schrijvers, Tom ^a   Demoen, Bart ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); EMBEDDED SYSTEMS; HIGH LEVEL LANGUAGES; OPTIMIZATION; PROGRAM COMPILERS; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS;

CONSTRAINT HANDLING RULES (CHR); LOGICAL READING; OPERATIONAL SEMANTICS; REDUNDANT CODES;

CONSTRAINT THEORY;

EID: 27144512739     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11562931_9     Document Type: Conference Paper

References (15)

1. Bart Demoen. hProlog home page. http://www.cs.kuleuven.ac.be/~bmd/ hProlog.
2. Gregory Duck, Tom Schrijvers, and Peter Stuckey. Abstract Interpretation for Constraint Handling Rules. Report CW 391, K.U.Leuven, Department of Computer Science, Leuven, Belgium, September 2004.
3. Gregory Duck, Peter Stuckey, María García de la Banda, and Christian Holzbaur. Extending Arbitrary Solvers with Constraint Handling Rules. In D. Miller, editor, Proceedings of the 5th International Conference on Principles and Practice of Declarative Programming (PPDP'03). ACM Press, 2003.
4. Gregory Duck, Peter Stuckey, María García de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In Proceedings of the 20th Intl. Conference on Logic Programming (ICLP'04), September 2004.
5. Thom Frühwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Special Issue on Constraint Logic Programming, Journal of Logic Programming, volume 37 (1-3), October 1998.
6. Christian Holzbaur, María García de la Banda, Peter Stuckey, and Gregory Duck. Optimizing compilation of Constraint Handling Rules in HAL. In Special Issue of Theory and Practice of Logic Programming on CHR, 2005. To appear.
7. Tom Schrijvers. CHR benchmarks and programs. Available at the K.U.Leuven CHR home page at http://www.cs.kuleuven.ac.be/~toms/Research/CHR/.
8. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: implementation and application. In T. Frühwirth and M. Meister, editors, First Workshop on Constraint Handling Rules: Selected Contributions, number 2004-01, 2004.
9. Tom Schrijvers and Thom Früwirth. Implementing and Analysing Union-Find in CHR. Technical Report CW 389, K.U.Leuven, Dept. Computer Science, July 2004.
10. Tom Schrijvers, Peter Stuckey, and Gregory Duck. Abstract Interpretation for Constraint Handling Rules. In Proceedings of the 7th Intl. Conference on Principles and Practice of Declarative Programming (PPDP'05), Lisbon, Portugal, July 2005.
11. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Simplification in CHR programs. Technical Report CW 396, K.U.Leuven, Dept. CS, November 2004.
12. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. Technical Report CW 420, K.U.Leuven, Dept. CS, July 2005.
13. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Simplification in CHR programs. In Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP'05), Ulm, Germany, February 2005.
14. Zoltan Somogyi, Fergus Henderson, and Thomas Conway. Mercury: an efficient purely declarative logic programming language. In Proceedings of the 18th Australian Computer Science Conference, pages 499-512, Glenelg, Australia, 1995.
15. Jan Wielemaker. SWI-Prolog home page. http://www.swi-prolog.org.