DMCA

A relational approach to interprocedural shape analysis (2004)

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