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]

1. Peter Van Weert, Pieter Wuille, Tom Schrijvers, and Bart Demoen. CHR for Imperative Host Languages. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 161-212. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java. [Abstract] [bibtex-entry]



2. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007. [Abstract] [bibtex-entry]

1. Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR. In Sibylle Schwarz, editor, WLP '08: Proc. 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, pages 1-6, September 2008. University Halle-Wittenberg, Institute of Computer Science, Technical report 2008/08. Keyword(s): Java. [Abstract] [bibtex-entry]



2. Ben Krause and Tim Wahls. jmle: A Tool for Executing JML Specifications via Constraint Programming. In Formal Methods: Applications and Technology, volume 4346 of Lecture Notes in Computer Science, pages 293-296, 2007. Springer-Verlag. [doi:10.1007/978-3-540-70952-7_19] [Abstract] [bibtex-entry]



3. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR^∨: An Extended Refined Operational Semantics for CHR^∨ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



4. Sandrine-Dominique Gouraud and Arnaud Gotlieb. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. In P. Van Hentenryck, editor, PADL '06: Proc. 8th Intl. Symp. Practical Aspects of Declarative Languages, volume 3819 of Lecture Notes in Computer Science, pages 1-15, January 2006. Springer-Verlag. [doi:10.1007/11603023_1] Keyword(s): applications, testing. [bibtex-entry]



5. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 19-33, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]



6. 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, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 47-62, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [WWW] [PDF] Keyword(s): CHR 2005, Java, implementation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]



7. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 475-476, September 2004. Springer-Verlag. [doi:10.1007/b99475] Keyword(s): applications. [bibtex-entry]



8. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss. JACK: A Java Constraint Kit. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, pages 1-17, November 2002. Elsevier. Note: See also http://pms.ifi.lmu.de/software/jack/. Keyword(s): Java. [bibtex-entry]



9. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP '01, volume 2239 of Lecture Notes in Computer Science, pages 256-270, 2001. Springer-Verlag. Keyword(s): Java, extensions. [bibtex-entry]

1. Pierre Deransart and Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. Technical report 7165, INRIA, Paris – Rocquenfourt, December 2010. [WWW] Keyword(s): applications. [Abstract] [bibtex-entry]



2. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java. [Abstract] [bibtex-entry]

1. Adrian Kostrubiak. Integration of Java Generics Into The extttjmle Tool Within The Eclipse IDE. Honors thesis, Dickinson College, 2009. [PDF] [bibtex-entry]



2. Ekkehard Krämer. A Generic Search Engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, January 2001. Keyword(s): search, Java. [bibtex-entry]



3. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java. [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