Parametric shape analysis via 3-valued logic (1999)

by M Sagiv, T W Reps, R Wilhelm
Venue:In POPL: Proc. ACM Symp. on Principles of Programming Languages