The Pointer Assertion Logic Engine (2001)

by Anders Møller, Michael I. Schwartzbach
Venue: Proc. ACM PLDI