The pointer assertion logic engine (2001)

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