Solving Shape-Analysis Problems in Languages with Destructive Updating (1996)

by Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
Venue:POPL '96