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

by M Sagiv, T Reps, R Wilhelm
Venue:ACM Trans. Program. Lang. Syst