Deriving Incremental Programs
Liu, Yanhong A.; Teitelbaum, Tim
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.
computer science; technical report
Previously Published As