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
- Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, and Herbert Wiklicky. Unfolding for CHR programs. TPLP, 2013. Note: To appear. [PDF]
- Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A Compositional Semantics for CHR with Propagation Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 119-160. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_6] Keyword(s): semantics.
Conference articles
- Frank Raiser and Paolo Tacchella. On Confluence of Non-terminating CHR Programs. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 63-76, September 2007. [PDF] Keyword(s): CHR 2007, confluence, CHR 2007, CHR 2007.
- Paolo Tacchella, Maurizio Gabbrielli, and Maria Chiara Meo. Unfolding in CHR. In M. Leuschel and A. Podelski, editors, PPDP07l, pages 179-186, July 2007. ACM. ISBN: 978-1-59593-769-8.
- Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A compositional Semantics for CHR with propagation rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 93-107, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, semantics, CHR 2006, CHR 2006.
BACK TO INDEX