of Paolo Tacchella


  1. 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

  1. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, and Herbert Wiklicky. Unfolding for CHR programs. TPLP, 2013. Note: To appear. [PDF]
  2. 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

  1. 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.
  2. 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.
  3. 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.