Selected Scientific Publications

Export 3 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is S and Author is Patricia M. Hill  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Bagnara R, Hill PM, Zaffanella E.  2002.  Set-Sharing is Redundant for Pair-Sharing. Theoretical Computer Science. 277:3–46.PDF icon BagnaraHZ02TCS.pdf (413.66 KB)
Bagnara R, Hill PM, Zaffanella E.  1997.  Set-Sharing is Redundant for Pair-Sharing. Static Analysis: Proceedings of the 4th International Symposium. 1302:53–67.
Hill PM, Bagnara R, Zaffanella E.  2002.  Soundness, Idempotence and Commutativity of Set-Sharing. Theory and Practice of Logic Programming. 2:155–201.PDF icon HillBZ02TPLP.pdf (406.08 KB)