The pointer assertion logic engine (2001)

by A Moeller, M I Schwartzbach
Venue:In Programming Language Design and Implementation (PLDI