Paolo Tacchella

According to our database¹, Paolo Tacchella authored at least 4 papers between 2007 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Unfolding for CHR programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

2008

A Compositional Semantics for CHR with Propagation Rules.

[BibT_eX]

[DOI]

Proceedings of the Constraint Handling Rules, 2008

Constraint handling rules. Compositional semantics and program transformation.

[BibT_eX]

[DOI]

PhD thesis, 2008

2007

Unfolding in CHR.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007