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

by M Sagiv, T Reps, R Wilhelm
Venue:ACM Trans. on Prog. Lang. and Systems