Static Caching for Incremental Computation (1998)

by Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum
Venue:ACM Trans. Program. Lang. Syst
Citations:47 - 19 self

Active Bibliography

22 Caching intermediate results for program improvement – Yanhong A. Liu, Tim Teitelbaum - 1995
6 Strengthening invariants for efficient computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 2001
26 Dynamic programming via static incrementalization – Yanhong A. Liu, Scott D. Stoller - 1999
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
2 Incremental computation for transformational software development – Yanhong A. Liu, Tim Teitelbaum
6 Optimizing aggregate array computations in loops – Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel - 2005
14 Eliminating dead code on recursive data – Yanhong A. Liu, Scott D. Stoller - 1999
22 Discovering auxiliary information for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1996
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
9 Incremental Computation: A Semantics-Based Systematic Transformational Approach – Annie Liu, Yanhong Annie Liu, Ph. D - 1996
26 Mechanical Translation of Set Theoretic Problem Specifications Into Efficient RAM Code - A Case Study – Robert Paige, Fritz Henglein - 1985
24 From recursion to iteration: what are the optimizations? – Yanhong A. Liu, Scott D. Stoller - 2000
10 Principled Strength Reduction – Yanhong A. Liu - 1996
21 Incrementalization across object abstraction – Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu - 2005
39 A Na├»ve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
15 Loop optimization for aggregate array computations – Yanhong A. Liu, Scott D. Stoller
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
The List Introduction Strategy for the Automatic Derivation of Programs – A. Pettorossi, M. Proietti - 1998