Analysis of Pointers and Structures.

David R. Chase, Mark N. Wegman, F. Kenneth Zadeck

Browse the full PLDI paper archive.