The Pointer Assertion Logic Engine (2001)

by A Moeller, M I Schwartzbach
Venue:In ACM PLDI