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