"Type-Based Alias Analysis."

Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics