Leuven JCHR : a User-Friendly , Flexible and Efficient CHR System for Java

  title={Leuven JCHR : a User-Friendly , Flexible and Efficient CHR System for Java},
  author={Peter Van Weert and Tom Schrijvers and Bart Demoen},
A new integration of Constraint Handling Rules (CHR) and Java is presented: the K.U.Leuven JCHR system. It was designed with three aims in mind: user-friendliness, flexibility and efficiency. User-friendliness is achieved by providing a high-level syntax that feels familiar to both Java programmers and users of other CHR embeddings, and by full compliance to the refined operational semantics. Flexibility is the result of a well thought-out design, allowing e.g. an easy integration of built-in… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS
27 Citations
28 References
Similar Papers


Publications citing this paper.

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 28 references

A generic search engine for a Java Constraint Kit

  • Ekkehard Krämer
  • Master’s thesis, Institute of Computer Science…
  • 2001
Highly Influential
6 Excerpts

An Implementation of CHR in Java

  • Matthias Schmauß
  • Master’s thesis, Department of Computer Science,
  • 1999
Highly Influential
5 Excerpts

Constraint Programming in Java: een gebruiksvriendelijk, flexibel en efficiënt CHR-Systeem voor Java

  • Peter Van Weert
  • 2005
1 Excerpt

Leuven CHR system : implementation and application

  • U. BartDemoen.TheK.
  • 2005

Cream: Class library for constraint programming in java

  • Naoyuki Tamura
  • http: //bach.istc.kobe-u.ac.jp/cream/,
  • 2004
1 Excerpt

Similar Papers

Loading similar papers…