A relational approach to interprocedural shape analysis (2004)

by Alexey Loginov , Thomas Reps , Mooly Sagiv
Venue:In 11th SAS
Citations:45 - 12 self