Return to Article Details Partial Evaluation for Constraint-Based Program Analyses Download Download PDF