The pointer assertion logic engine. (2001)

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