about 'Java'


  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.

Articles in journal, book chapters

  1. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR. Proceedings of the 11th International Workshop on Constraint Handling Rules, 2014. [WWW]
  2. Dragan Ivanovic. Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java. CoRR, abs/1308.3939, 2013. [PDF]
  3. 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 LNAI, pages 161-212. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java.
  4. 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.

Conference articles

  1. Falco Nogatz, Thom Frühwirth, and Dietmar Seipel. CHR.js: A CHR Implementation in JavaScript. In Rules and Reasoning, volume 11092, pages 131-146, 2018. Springer.
  2. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Animating Java Algorithms. In Information Visualisation (IV), 2016 20th International Conference, pages 141-145, 2016. IEEE.
  3. 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.
  4. Ben Krause and Tim Wahls. jmle: A Tool for Executing JML Specifications via Constraint Programming. In Formal Methods: Applications and Technology, volume 4346 of LNCS, pages 293-296, 2007. SV. [doi:10.1007/978-3-540-70952-7_19]
  5. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^{\lor}$: An Extended Refined Operational Semantics for CHR$^{\lor}$ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007.
  6. 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 LNCS, pages 1-15, January 2006. SV. [doi:10.1007/11603023_1] Keyword(s): applications, testing.
  7. 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.
  8. 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.
  9. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 475-476, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): applications.
  10. 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 ENTCS, pages 1-17, November 2002. Elsevier. Note: See also Keyword(s): Java.
  11. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP01, volume 2239 of LNCS, pages 256-270, 2001. SV. ISBN: 3-540-42863-1. Keyword(s): Java, extensions.

Internal reports

  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.
  2. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java.


  1. Falco Nogatz. CHR.js: Compiling Constraint Handling Rules to JavaScript. Master's thesis, University of Ulm, 2015. [PDF]
  2. Adrian Kostrubiak. Integration of Java Generics Into The extttjmle Tool Within The Eclipse IDE. Honors thesis, Dickinson College, 2009. [PDF]
  3. 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.
  4. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java.