Thesis
- Paolo Tacchella. Constraint Handling Rules --- Compositional Semantics and Program Transformation. PhD thesis, deptcw, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics.
Articles in journal, book chapters
- Thom Frühwirth. Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints, pages 208-222. Springer International Publishing, 2016. ISBN: 978-3-319-42019-6. [doi:10.1007/978-3-319-42019-6_14]
- Gregory J. Duck, Rémy Haemmerlé, and Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 14:619-632, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000246]
- Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 593-609. CUP, July 2011. [doi:10.1017/S1471068411000196] Keyword(s): semantics, termination.
- Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 597-610. CUP, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination.
Conference articles
- Thom Frühwirth. A devil's advocate against termination of direct recursion. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 103-113, 2015. ACM.
- R. Haemmerlé, P. Lopez-Garcia, and M.V. Hermenegildo. CLP Projection for Constraint Handling Rules. In Michael Hanus, editor, PPDP11l, pages 137-148, July 2011. ACM. [doi:10.1145/2003476.2003496] Keyword(s): semantics, related formalisms, termination, confluence.
- Paolo Pilozzi and Danny De Schreye. Improved termination analysis of CHR using self-sustainability analysis. In German Vidal, editor, LOPSTR11l, LNCS, 2011. Keyword(s): termination.
- Jon Sneyers and Danny De Schreye. Probabilistic Termination of CHRiSM Programs. In German Vidal, editor, LOPSTR11prel, 2011. Keyword(s): termination, CHRiSM, probabilistic CHR.
- Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. In Peter Schneider-Kamp, editor, 11th International Workshop on Termination, Edinburgh, United Kingdom, July 2010. Keyword(s): termination.
- Paolo Pilozzi, Tom Schrijvers, and Maurice Bruynooghe. A transformational approach for proving properties of the CHR constraint store. In Danny De Schreye, editor, LOPSTR09l, volume 6037 of LNCS, pages 22-36, 2010. SV. [doi:10.1007/978-3-642-12592-8_3] Keyword(s): termination.
- Paolo Pilozzi. Automating termination proofs for CHR. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 504-508, July 2009. SV. [doi:10.1007/978-3-642-02846-5_43] Keyword(s): termination.
- Paolo Pilozzi. Proving termination by invariance relations. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 499-503, July 2009. SV. [doi:10.1007/978-3-642-02846-5_42] Keyword(s): termination.
- Paolo Pilozzi. Research Summary: Termination of CHR. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 534-535, July 2009. SV. [doi:10.1007/978-3-642-02846-5_51] Keyword(s): termination.
- Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR Revisited. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 501-515, December 2008. SV. [doi:10.1007/978-3-540-89982-2_43] Keyword(s): termination.
- Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR revisited. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 35-50, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, termination, CHR 2008, CHR 2008.
- 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.
- Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. In M. Hanus, editor, LOPSTR08prel, 2008. [WWW] [PDF] Keyword(s): termination.
- Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. In WST '07: 9th Intl. Workshop on Termination, June 2007. Keyword(s): termination.
- Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 77-89, September 2007. [PDF] Keyword(s): CHR 2007, termination, CHR 2007, CHR 2007.
- Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 63-78, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005.
- Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of ENTCS, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination.
- Thom Frühwirth. Proving Termination of Constraint Solver Programs. In K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of LNCS, pages 298-317, 2000. SV. ISBN: 3-540-67885-9. [doi:10.1007/3-540-44654-0_15] Keyword(s): termination.
Internal reports
- Hariolf Betz, Frank Raiser, and Thom Frühwirth. A complete and terminating execution model for Constraint Handling Rules. Ulmer Informatik Berichte 2010-01, Ulm University, Germany, January 2010. [WWW] Keyword(s): semantics, termination.
- Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. Technical report CW 541, KULCW, Leuven, Belgium, April 2009. [WWW] Keyword(s): termination .
- Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. Technical report CW 506, KULCW, Leuven, Belgium, January 2008. [WWW] Keyword(s): termination.
- Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. Technical report CW 487, KULCW, Leuven, Belgium, April 2007. [WWW] Keyword(s): termination.
Miscellaneous
- Ersha Rahimikia. Detecting non-termination in Constraint Handling Rules. Master's thesis, Dept. Computing and Software, McMaster University, 2007. Keyword(s): termination, termination.
BACK TO INDEX