Semi-sparse Flow-sensitive Pointer Analysis (2009)

by B Hardekopf, C Lin
Venue:In Principles of Programming Languages (POPL