A relational approach to interprocedural shape analysis. (2004)

by B Jeannet, A Loginov, T Reps, M Sagiv
Venue:In Static Analysis Symposium, SAS’04,