The pointer assertion logic engine (2001)

by A Møller, M Schwartzbach
Venue:In ACM PLDI’01), volume 36.5 of ACM SIGPLAN Notices. ACMPress