The pointer assertion logic engine (2001)

by Anders Moeller, Michael I Schwartzbach
Venue:In Proceedings of the ACM SIGPLAN’01 Conference on Programming Language Design and Implementation (PLDI), Snowbird, UT