AMTOFT, T. Partial Evaluation for Constraint-Based Program Analyses. BRICS Report Series, v. 6, n. 45, 15 Dec. 1999.