Systematic Derivation of Incremental Programs
Liu, Yanhong A.; Teitelbaum, Tim
A systematic approach is given for deriving incremental programs from non-incremental programs written in a standard functional programming language. We exploit a number of program analysis and transformation techniques and domain-specific knowledge, centered around effective utilization of caching, in order to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator.
computer science; technical report
Previously Published As