Parametric shape analysis via 3-valued logic. (1999)

by M Sagiv, T Reps, R Wilhelm
Venue:In POPL 99: Principles of Programming Languages,