Nr. 45 (1999): RS-45 Partial Evaluation for Constraint-Based Program Analyses