"Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C."

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics