Selected Scientific Publications

Export 3 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is W and Author is Roberto Bagnara  [Clear All Filters]
Journal Article
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)
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)
Conference Paper
Zaffanella E, Bagnara R, Hill PM.  1999.  Widening Sharing. Principles and Practice of Declarative Programming. 1702:414–431.