A Transformation Method for Dynamic-Sized Tabulation (1995)

Cached

Download Links

by Wei-ngan Chin , Masami Hagiya
Citations:9 - 3 self

Active Bibliography

Synchronization analyses for . . . – Wei-ngan Chin, Siau-cheng Khoo, Peter Thiemann
33 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
5 Effective Optimisation of Multiple Traversals in Lazy Languages – Wei-ngan Chin, Aik-Hui Goh, Siau-cheng Khoo - 1999
26 Dynamic programming via static incrementalization – Yanhong A. Liu, Scott D. Stoller - 1999
4 Synchronisation Analysis to Stop Tupling – Wei-ngan Chin, Siau-cheng Khoo, Tat-wee Lee - 1998
22 Caching intermediate results for program improvement – Yanhong A. Liu, Tim Teitelbaum - 1995
Recursive Program Optimization Through Inductive Synthesis Proof Transformation – Peter Madden, Alan Bundy, Alan Smaill - 1999
9 Incremental Computation: A Semantics-Based Systematic Transformational Approach – Annie Liu, Yanhong Annie Liu, Ph. D - 1996
47 Static caching for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1998
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
2 Abstract Program Transformation by Solving Recurrences – Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-cheng Khoo
Efficient Call-by-value Evaluation Strategy of Primitive Recursive Program Schemes – Andrea Mößle, Heiko Vogler, Tu Dresden, Fakultat Informatik, Lehrstuhl Grundlagen Der Programmierung - 1995
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
7 The Many Disguises of Accumulation – Eerke Boiten - 1991
6 Program Optimization Using Indexed and Recursive Data Structures – Yanhong A. Liu, Scott D. Stoller - 2002
Enhanced Parallelization via Constraints – Wei-Ngan Chin National, Wei-ngan Chin, Zhenjiang Hu, Masato Takeichi, Akihiko Takano - 1997