"An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages."

John Whaley, Monica S. Lam (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics