"Building a Bridge between Pointer Aliases and Program Dependences."

John L. Ross, Shmuel Sagiv (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics