Amtoft, T. Partial Evaluation for Constraint-Based Program Analyses. BRICS 1999, 6.