Deriving Incremental Programs
A general systematic transformational approach to improving the
efficiency of computation.
Theme
Program analysis and transformations for incrementalization .
Cachet
An incremental-attribution-based interactive system that uses
systematic program analysis and transformation techniques to derive
incremental programs written in a functional language.
Selected Publications
- Y. A. Liu and T. Teitelbaum. Systematic
derivation of incremental programs. Science of Computer
Programming, 24(1):1-39, February, 1995.
- Y. A. Liu and T. Teitelbaum. Caching
intermediate results for program improvement. In Proceedings
of the ACM SIGPLAN Symposium on Partial Evaluation and
Semantics-Based Program Manipulation, pages 190-201, La Jolla,
California, June 1995.
- Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Discovering
auxiliary information for incremental computation. In
Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, St. Petersburg Beach,
Florida, January 1996.
- Y. A. Liu. CACHET:
An interactive, incremental-attribution-based program
transformation system for deriving incremental programs. In
Proceedings of the 10th Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, November 1995. IEEE Computer
Society Press.
- Y. A. Liu. Principled strength
reduction. July 1996.
People
Y. Annie Liu
Tim Teitelbaum
Keywords
incremental computation, incremental programs, efficiency
improvement, optimization, program analysis, program
transformation, Cachet
Y. Annie Liu
yanhong@cs.cornell.edu Last updated 7/14/96