Books and proceedings
- P. Van Weert and L. De Koninck, editors. CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010.
Thesis
- 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
- Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Leslie De Koninck. As Time Goes By: Constraint Handling Rules -- A Survey of CHR Research between 1998 and 2007. TPLP, 10(1):1-47, 2010. [PDF] [doi:10.1017/S1471068409990123] Keyword(s): survey.
- 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.
- 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.
Conference articles
- Peter Van Weert. Join Ordering for Constraint Handling Rules: Putting Theory into Practice. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, implementation, optimizing compilation, CHR 2010, CHR 2010.
- Peter Van Weert, Leslie De Koninck, and Jon Sneyers. A Proposal for a Next Generation of CHR. In F. Raiser and J. Sneyers, editors, CHR09l, pages 77-93, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, priorities, extensions, CHR 2009, CHR 2009.
- Martin Sulzmann, Edmund S.L. Lam, and Peter Van Weert. Actors with Multi-Headed Message Receive Patterns. In D. Lea and G. Zavattaro, editors, COORDINATION '08: Proc. 10th Intl. Conf. Coordination Models and Languages, number 5052 of LNCS, pages 315-330, May 2008. SV. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism.
- Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, 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.
- Peter Van Weert. Optimization of CHR Propagation Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 485-500, December 2008. SV. [doi:10.1007/978-3-540-89982-2_42] Keyword(s): implementation, optimizing compilation.
- Peter Van Weert, Jon Sneyers, and Bart Demoen. Aggregates for CHR through Program Transformation. In A. King, editor, LOPSTR07l, volume 4915 of LNCS, pages 59-73, 2008. [doi:10.1007/978-3-540-78769-3_5] Keyword(s): extensions.
- Jon Sneyers, Peter Van Weert, and Tom Schrijvers. Aggregates for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 91-105, September 2007. [PDF] Keyword(s): CHR 2007, extensions, CHR 2007, CHR 2007.
- Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in Constraint Handling Rules: Extended Abstract. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 446-448, September 2007. SV. [doi:10.1007/978-3-540-74610-2_39] Keyword(s): extensions.
- Peter Van Weert, Jon Sneyers, Tom Schrijvers, and Bart Demoen. Extending CHR with Negation as Absence. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 125-140, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, extensions, CHR 2006, CHR 2006.
- 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.
Internal reports
- Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java.
- Peter Van Weert. Optimization of CHR Propagation Rules: Extended report. Technical report CW 519, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): implementation, optimizing compilation.
- Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in CHR. Technical report CW 481, KULCW, Leuven, Belgium, March 2007. [WWW] Keyword(s): extensions.
- Peter Van Weert, Jon Sneyers, Tom Schrijvers, and Bart Demoen. To $\mathrm{CHR}^{\mbox{\large$\!\!\lnot$}}$ or not to $\mathrm{CHR}^{\mbox{\large$\!\!\lnot$}}$: Extending CHR with Negation as Absence. Technical report CW 446, KULCW, Leuven, Belgium, May 2006. [WWW] Keyword(s): extensions.
BACK TO INDEX