The Pointer Assertion Logic Engine (2001)

by Anders Mller, Michael I Schwartzbach
Venue:In Proc. ACM PLDI