|
22
|
Discovering Auxiliary Information for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1996
|
|
6
|
Strengthening invariants for efficient computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 2001
|
|
42
|
Static Caching for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1998
|
|
26
|
Dynamic programming via static incrementalization
– Yanhong A. Liu, Scott D. Stoller
- 1999
|
|
10
|
Principled Strength Reduction
– Yanhong A. Liu
- 1996
|
|
2
|
Incremental Computation for Transformational Software Development
– Yanhong A. Liu, Tim Teitelbaum
- 1995
|
|
38
|
Systematic Derivation of Incremental Programs
– Yanhong A. Liu, Tim Teitelbaum
- 1995
|
|
19
|
Caching Intermediate Results for Program Improvement
– Yanhong Liu, Tim Teitelbaum
- 1995
|
|
2
|
SETL for Internet Data Processing
– David Bacon
- 2000
|
|
5
|
Optimizing aggregate array computations in loops
– Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
- 2005
|
|
73
|
Generation of Components for Software Renovation Factories from Context-free Grammars
– Mark Van Den Brand, Alex Sellink, Chris Verhoef
|
|
9
|
A Transformation Method for Dynamic-Sized Tabulation
– Wei-ngan Chin, Masami Hagiya
- 1995
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
2
|
Redundant Call Elimination via Tupling
– Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones
- 2005
|
|
|
Synchronization analyses for . . .
– Wei-ngan Chin, Siau-cheng Khoo, Peter Thiemann
|
|
|
The List Introduction Strategy for the Automatic Derivation of Programs
– A. Pettorossi, M. Proietti
- 1998
|
|
14
|
Loop optimization for aggregate array computations
– Yanhong A. Liu, Scott D. Stoller
|
|
26
|
Operator Strength Reduction
– Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick
- 1995
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
