The Pointer Assertion Logic Engine (2001)

Cached

Download Links

by Anders Møller , Michael I. Schwartzbach
Venue: Proc. ACM PLDI
Citations:145 - 3 self