|
7324
|
Cache-oblivious algorithms
– M FRIGO, C E LEISERSON, H PROKOP, S RAMACHANDRAN
- 1999
|
|
42
|
Static Caching for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1998
|
|
38
|
Systematic Derivation of Incremental Programs
– Yanhong A. Liu, Tim Teitelbaum
- 1995
|
|
22
|
From recursion to iteration: what are the optimizations?
– Yanhong A. Liu, Scott D. Stoller
- 2000
|
|
24
|
Finite di erencing of computable expressions
– R Paige, S Koenig
- 1982
|
|
66
|
Tabulation techniques for recursive programs
– Richard S Bird
- 1980
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
14
|
Specification and Transformation of Programs—a Formal Approach to Software Development
– H Partsch
- 1990
|
|
406
|
The Omega Test: a fast and practical integer programming algorithm for dependence analysis
– William Pugh
- 1992
|
|
101
|
S.: Finite differencing of computable expressions
– R Paige, Koenig
- 1982
|
|
25
|
Eliminating redundant recursive calls
– Norman H Cohen
- 1983
|
|
26
|
Real-time Simulation of a Set Machine on a RAM
– Robert Paige, Robert Paige
- 1994
|
|
6
|
A powerful strategy for deriving ecient programs by transformation
– A Pettorossi
- 1984
|
|
15
|
Efficiency by Incrementalization: An Introduction
– Y A Liu
- 2000
|
|
2173
|
The Design and Analysis of Computer Algorithms
– A V Aho, J E Hopcroft, J D Ullman
- 1974
|
|
51
|
Program Derivation by Fixed Point Computation
– Jiazhen Cai, Robert Paige
- 1988
|
|
22
|
Discovering Auxiliary Information for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1996
|
|
177
|
The Synthesizer Generator: A System for Constructing Language-Based Editors
– T Reps, T Teitelbaum
- 1989
|
|
83
|
Memo functions and machine learning
– Donald Michie
- 1968
|
