|
42
|
Static Caching for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1998
|
|
6
|
Strengthening invariants for efficient computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 2001
|
|
19
|
Caching Intermediate Results for Program Improvement
– Yanhong Liu, Tim Teitelbaum
- 1995
|
|
38
|
Systematic Derivation of Incremental Programs
– Yanhong A. Liu, Tim Teitelbaum
- 1995
|
|
40
|
Selective Memoization
– Umut A. Acar, Guy E. Blelloch, Robert Harper
|
|
22
|
From recursion to iteration: what are the optimizations?
– Yanhong A. Liu, Scott D. Stoller
- 2000
|
|
1
|
Abstract Program Transformation by Solving Recurrences
– Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-cheng Khoo
|
|
5
|
Optimizing aggregate array computations in loops
– Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
- 2005
|
|
6
|
Program Optimization Using Indexed and Recursive Data Structures
– Yanhong A. Liu, Scott D. Stoller
- 2002
|
|
6
|
Optimizing Ackermann's Function by Incrementalization
– Yanhong A. Liu, Scott D. Stoller
- 2001
|
|
18
|
Imperative self-adjusting computation
– Umut A. Acar, Amal Ahmed, Matthias Blume
- 2008
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
3
|
Adaptive Memoization
– Umut A. Acar, Guy E. Blelloch, Robert Harper
- 2003
|
|
52
|
Adaptive Functional Programming
– Umut A. Acar , Guy E. Blelloch, Robert Harper
- 2001
|
|
2
|
Incremental Computation for Transformational Software Development
– Yanhong A. Liu, Tim Teitelbaum
- 1995
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
|
Abstract Interpretation and Low-Level Code Optimization
– Saumya Debray
- 1995
|
|
14
|
Loop optimization for aggregate array computations
– Yanhong A. Liu, Scott D. Stoller
|
|
9
|
Incremental Computation: A Semantics-Based Systematic Transformational Approach
– Annie Liu, Yanhong Annie Liu, Ph. D
- 1996
|
