Why Annotations?
Imperative approach:
- programmer writes code that produces dynamic code
- tedious, error-prone
Fully automatic:
- compiler and runtime system decide
- open research problem
Annotations:
- annotations direct DC
- simpler than fully imperative
- debugging support easy (for input program)
- compromise between the two extremes