Now showing items 1-4 of 4

    • Caching Intermediate Results for Program Improvement 

      Liu, Yanhong A.; Teitelbaum, Tim (Cornell University, 1995-04)
      A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. We exploit a number of program analysis and transformation techniques, ...
    • Deriving Incremental Programs 

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