Systematic derivation of incremental programs
Yanhong A. Liu, Tim Teitelbaum · Science of Computer Programming · 1995
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.