"Scaling Java Points-to Analysis Using SPARK."

Ondrej Lhoták, Laurie J. Hendren (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics