| Title | Set-Sharing is Redundant for Pair-Sharing |
| Publication Type | Conference Paper |
| Year of Publication | 1997 |
| Authors | Bagnara R, Hill PM, Zaffanella E |
| Editor | Van Hentenryck P |
| Conference Name | Static Analysis: Proceedings of the 4th International Symposium |
| Publisher | Springer-Verlag, Berlin |
| Conference Location | Paris, France |
| ISBN Number | 3-540-63468-1 |
| Keywords | abstract interpretation, domain decomposition, logic programming, sharing analysis, software verification, static analysis |
| DOI | 10.1007/BFb0032733 |
| Refereed Designation | Refereed |
