1. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities. [bibtex-entry]

1. Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, Java. [Abstract] [bibtex-entry]



2. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, complexity, computability. [Abstract] [bibtex-entry]



3. Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005. Keyword(s): implementation, optimizing compilation. [bibtex-entry]



4. Tom Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, June 2005. [WWW] [PDF] [POSTSCRIPT] Keyword(s): implementation, optimizing compilation. [bibtex-entry]

1. Peter Van Weert. Efficient Lazy Evaluation of Rule-Based Programs. IEEE Transactions on Knowledge and Data Engineering, 22(11):1521-1534, November 2010. [doi:10.1109/TKDE.2009.208] Keyword(s): implementation, optimizing compilation. [bibtex-entry]



2. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 213-244. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation. [bibtex-entry]



3. Christian Holzbaur, Marìa Garcìa de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 503-531. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation. [bibtex-entry]

1. Peter Van Weert. Join Ordering for Constraint Handling Rules: Putting Theory into Practice. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, implementation, optimizing compilation, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



2. Beata Sarna-Starosta and Tom Schrijvers. Attributed Data for CHR Indexing. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 357-371, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_30] Keyword(s): implementation, optimizing compilation. [bibtex-entry]



3. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules – Ph.D. thesis summary. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 494-498, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_41] Keyword(s): implementation, optimizing compilation, complexity, computability. [bibtex-entry]



4. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of CHR with rule priorities. In J. Garrigue and M. Hermenegildo, editors, Proc. 9th Intl. Symp. Functional and Logic Programming, volume 4989 of Lecture Notes in Computer Science, pages 32-47, April 2008. Springer-Verlag. Keyword(s): priorities, optimizing compilation. [bibtex-entry]



5. Beata Sarna-Starosta and Tom Schrijvers. An efficient term representation for CHR indexing. In M. Carro and B. Demoen, editors, CICLOPS '08: Proc. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 172-186, 2008. Keyword(s): implementation, optimizing compilation. [bibtex-entry]



6. Beata Sarna-Starosta and Tom Schrijvers. Transformation-based Indexing Techniques for Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 3-18, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): implementation, optimizing compilation, CHR 2008, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]



7. Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 79-94, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, implementation, optimizing compilation, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]



8. Peter Van Weert. Optimization of CHR Propagation Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 485-500, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_42] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]



9. Leslie De Koninck and Jon Sneyers. Join Ordering for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 107-121, September 2007. [PDF] Keyword(s): optimizing compilation, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



10. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Memory reuse for CHR. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 72-86, August 2006. Springer-Verlag. [doi:10.1007/11799573_8] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]



11. Henning Christiansen. Reasoning about passive declarations in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 93-108, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]



12. Gregory J. Duck and Tom Schrijvers. Accurate Functional Dependency Analysis for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 109-124, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, implementation, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]



13. Tom Schrijvers, Peter J. Stuckey, and Gregory J. Duck. Abstract interpretation for Constraint Handling Rules. In P. Barahona and A.P. Felty, editors, PPDP '05: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, pages 218-229, July 2005. ACM Press. ISBN: 1-59593-090-6. Keyword(s): optimizing compilation. [bibtex-entry]



14. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 83-97, October 2005. Springer-Verlag. Keyword(s): implementation, optimizing compilation. [bibtex-entry]



15. Sebastian Brand. A Note on Redundant Rules in Rule-based Constraint Programming. In Joint ERCIM/CologNet Intl. Workshop on Constraint Solving and Constraint Logic Programming, Selected papers, volume 2627 of Lecture Notes in Computer Science, pages 279-336, June 2002. Springer-Verlag. Keyword(s): optimizing compilation. [bibtex-entry]

1. Peter Van Weert. Optimization of CHR Propagation Rules: Extended report. Technical report CW 519, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2008. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]



2. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimized compilation of CHR^rp. Technical report CW 499, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation, priorities. [Abstract] [bibtex-entry]



3. Beata Sarna-Starosta and Tom Schrijvers. Indexing techniques for CHR based on program transformation. Technical report CW 500, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]



4. Tom Schrijvers and Bart Demoen. Antimonotony-based Delay Avoidance for CHR. Technical report CW 385, K.U.Leuven, Department of Computer Science, Leuven, Belgium, July 2004. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html