Partial Evaluation
Binding-time analysis: static (early) and
dynamic (late) data
One-time global program specialization
Serious implementations [e.g. Tempo]
4 Well-developed theory
4 Binding-time analysis automatic
8 Can be unpredictable for programmer
8 Difficult to maintain under program changes