Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

Browse the full TACAS paper archive.