Building a Bridge between Pointer Aliases and Program Dependences. - John L. Ross; Shmuel Sagiv (Nord. J. Comput., 1998)