Widening Sharing
| Title | Widening {Sharing} |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Zaffanella E, Bagnara R, Hill PM |
| Editor | Nadathur G |
| Conference Name | Principles and Practice of Declarative Programming |
| Publisher | Springer-Verlag, Berlin |
| Conference Location | Paris, France |
| ISBN Number | 3-540-66540-4 |
| Keywords | abstract interpretation, logic programming, mode analysis, sharing analysis, software verification, static analysis, widening |
| DOI | 10.1007/10704567_25 |
| Refereed Designation | Refereed |