Selected Scientific Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is widening  [Clear All Filters]
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)
Zaffanella E, Bagnara R, Hill PM.  1999.  Widening Sharing. Principles and Practice of Declarative Programming. 1702:414–431.