A Relational Approach to Interprocedural Shape Analysis.

Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv

Browse the full SAS paper archive.