Now showing items 3-4 of 4

    • Incremental Computation for Transformational Software Development 

      Liu, Yanhong A.; Teitelbaum, Tim (Cornell University, 1995-03)
      Given a program $f$ and an input change $\oplus$, we wish to obtain an incremental program that computes $f(x\oplus y)$ efficiently by making use of the value of $f(x)$, the intermediate results computed in computing $f(x)$, ...
    • Systematic Derivation of Incremental Programs 

      Liu, Yanhong A.; Teitelbaum, Tim (Cornell University, 1994-09)
      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 ...