Books and proceedings
- T. Schrijvers and Th. Frühwirth, editors. CHR05l, 2005. KULCW, Technical report CW 421. Keyword(s): CHR 2005.
Conference articles
- Henning Christiansen. Reasoning about passive declarations in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 93-108, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, optimizing compilation, CHR 2005, CHR 2005.
- Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 19-33, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005.
- Gregory J. Duck and Tom Schrijvers. Accurate Functional Dependency Analysis for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 109-124, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, implementation, optimizing compilation, CHR 2005, CHR 2005.
- Thom Frühwirth. Logical Rules for a Lexicographic Order Constraint Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 79-91, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, CHR 2005, CHR 2005.
- Luis Menezes, Jairson Vitorino, and Marcos Aurelio. A High Performance CHR${}^\lor$ Execution Engine. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 35-45, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, implementation, disjunction, CHR 2005, CHR 2005.
- Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 3-17, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, computability, complexity, CHR 2005, CHR 2005.
- Martin Sulzmann. Chameleon: Systematic Type System Design via Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 1, 2005. KULCW, Technical report CW 421. Note: Invited talk. Keyword(s): type systems, CHR 2005, CHR 2005.
- Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 63-78, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005.
- Peter Van Weert, Tom Schrijvers, and Bart Demoen. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 47-62, 2005. KULCW, Technical report CW 421. [WWW] [PDF] Keyword(s): CHR 2005, Java, implementation, CHR 2005, CHR 2005.
BACK TO INDEX