Selected Scientific Publications
Export 3 results:[ Author] Title Type Year
Filters: Keyword is static analysis and Author is Enea Zaffanella [Clear All Filters]
Decomposing Non-Redundant Sharing by Complementation. Theory and Practice of Logic Programming. 2:233–261.. 2002.
Widening Sharing. Principles and Practice of Declarative Programming. 1702:414–431.. 1999.
Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming. 1997:1–34.. 1997.