The Pointer Assertion Logic Engine (0)

by A Møller, M I Schwartzbach
Venue:In Proc. of PLDI ’01