"Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented ..."

Alexander Herz, Kalmer Apinis (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics