Paolo Tacchella

According to our database1, Paolo Tacchella authored at least 6 papers between 2007 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Unfolding for CHR programs.
TPLP, 2015

2013
Unfolding for CHR programs.
CoRR, 2013

2008
A Compositional Semantics for CHR with Propagation Rules.
Proceedings of the Constraint Handling Rules, 2008

Constraint handling rules. Compositional semantics and program transformation.
PhD thesis, 2008

Unfolding in CHR
CoRR, 2008

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


  Loading...