Dynamic programming via static incrementalization (1999)

by Yanhong A. Liu , Scott D. Stoller
Venue:In Proceedings of the 8th European Symposium on Programming
Citations:26 - 12 self

Active Bibliography

47 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
22 Caching intermediate results for program improvement – Yanhong A. Liu, Tim Teitelbaum - 1995
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
44 Selective Memoization – Umut A. Acar, Guy E. Blelloch, Robert Harper
24 From recursion to iteration: what are the optimizations? – Yanhong A. Liu, Scott D. Stoller - 2000
2 Abstract Program Transformation by Solving Recurrences – Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-cheng Khoo
6 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
7 Optimizing Ackermann's Function by Incrementalization – Yanhong A. Liu, Scott D. Stoller - 2001
27 Imperative self-adjusting computation – Umut A. Acar, Amal Ahmed, Matthias Blume - 2008
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
2 Incremental computation for transformational software development – Yanhong A. Liu, Tim Teitelbaum
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
3 Adaptive Memoization – Umut A. Acar, Guy E. Blelloch, Robert Harper - 2003
64 Adaptive Functional Programming – Umut A. Acar , Guy E. Blelloch, Robert Harper - 2001
15 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