Deriving Incremental Programs

A systematic transformational approach is given for deriving incremental programs from non-incremental programs. We exploit partial evaluation, other static analysis and transformation techniques, and domain-specific knowledge in order to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator. Illustrative examples using the transformation approach are given