Automating Derivation of Incremental Programs


Given a program f and an input change operation @, an incremental program f’ computes the value of f(z @ y) efficiently by making use of the value of f(z). Liu and Teitelbaum proposed a systematic approach (11 for deriving incremental programs written in a first order functional programming language. This work aims to automate the derivation of f’ from f… (More)
DOI: 10.1145/289423.289480


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics