Building a Bridge between Pointer Aliases and Program Dependences.

John L. Ross, Shmuel Sagiv

Browse the full ESOP paper archive.