"Off-line variable substitution for scaling points-to analysis."

Atanas Rountev, Satish Chandra (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics