Incremental Compuation

Incremental Evaluation

• Attribute Grammars
• Relational Calculus
• Lambda Calculus
• First-order Functional Programs

Derivation of Incremental Programs