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

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