Solving shape-analysis problems in languages with destructive updating (1996)

by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
Venue:In Proc. 23rd ACM POPL