Incremental Computation: A Semantics-Based Systematic Transformational Approach (1996)

Cached

Download Links

by Annie Liu , Yanhong Annie Liu , Ph. D
Citations:9 - 3 self

Active Bibliography

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
46 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
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
22 Caching intermediate results for program improvement – Yanhong A. Liu, Tim Teitelbaum - 1995
3 SETL for Internet Data Processing – David Bacon - 2000
6 Optimizing aggregate array computations in loops – Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel - 2005
26 Mechanical Translation of Set Theoretic Problem Specifications Into Efficient RAM Code - A Case Study – Robert Paige, Fritz Henglein - 1985
9 CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs – Yanhong A. Liu - 1995
73 Generation of Components for Software Renovation Factories from Context-free Grammars – Mark Van Den Brand, Alex Sellink, Chris Verhoef
2 Redundant Call Elimination via Tupling – Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones - 2005
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
9 A Transformation Method for Dynamic-Sized Tabulation – Wei-ngan Chin, Masami Hagiya - 1995
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
15 Loop optimization for aggregate array computations – Yanhong A. Liu, Scott D. Stoller