The pointer assertion logic engine (2001)

by A Møller, M I Schwartzbach
Venue:In Proceedings of the ACM Conference on Programming Language Design and Implementation. ACM