Analysis of pointers and structures (with retrospective)

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

Browse the full PLDI paper archive.