The Correctness of Set-Sharing
| Title | The Correctness of Set-Sharing |
| Publication Type | Conference Paper |
| Year of Publication | 1998 |
| Authors | Hill PM, Bagnara R, Zaffanella E |
| Editor | Levi G |
| Conference Name | Static Analysis: Proceedings of the 5th International Symposium |
| Publisher | Springer-Verlag, Berlin |
| Conference Location | Pisa, Italy |
| ISBN Number | 3-540-65014-8 |
| Keywords | abstract interpretation, logic programming, mode analysis, sharing analysis, software verification, static analysis |
| DOI | 10.1007/3-540-49727-7_6 |
| Refereed Designation | Refereed |