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