A compositional semantics for CHR

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo. A compositional semantics for CHR. In Pedro Barahona, Amy P. Felty, editors, Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal. pages 209-217, ACM, 2005. [doi]

Authors

Giorgio Delzanno

This author has not been identified. Look up 'Giorgio Delzanno' in Google

Maurizio Gabbrielli

This author has not been identified. Look up 'Maurizio Gabbrielli' in Google

Maria Chiara Meo

This author has not been identified. Look up 'Maria Chiara Meo' in Google