Selected Scientific Publications

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is W and Author is Patricia M. Hill  [Clear All Filters]
1999
Zaffanella E, Bagnara R, Hill PM.  1999.  Widening Sharing. Principles and Practice of Declarative Programming. 1702:414–431.
2006
Bagnara R, Hill PM, Zaffanella E.  2006.  Widening Operators for Powerset Domains. Software Tools for Technology Transfer. 8:449–466.PDF icon BagnaraHZ06STTT.pdf (362.41 KB)
2009
Bagnara R, Hill PM, Zaffanella E.  2009.  Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness. Formal Methods in System Design. 35:279–323.PDF icon BagnaraHZ09FMSD.pdf (437.68 KB)