Parametric shape analysis via 3-valued logic (2002)

by M Sagiv, T Reps, R Wilhelm
Venue:ACM Transactions on Programming Languages and Systems