The Pointer Assertion Logic Engine.

Anders Mller, Michael I. Schwartzbach

Browse the full PLDI paper archive.