From recursion to iteration: what are the optimizations?

From recursion to iteration: what are the optimizations? (2000)

Cached

Download Links

by Yanhong A. Liu , Scott D. Stoller

Citations:

BibTeX

@MISC{Liu00fromrecursion,
    author = {Yanhong A. Liu and Scott D. Stoller},
    title = {From recursion to iteration: what are the optimizations?},
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

7321	Introduction to Algorithms - Cormen, Leiserson, et al. - 2001
2172	The design and analysis of computer algorithms - Aho, Hopcroft, et al. - 1974
1541	The Java Language Specification - Gosling, Joy, et al. - 1996
533	A transformation system for developing recursive programs - Burstall, Darlington - 1977
408	Can functional programming be liberated from the Von Neumann style - Backus - 1978
406	The omega test: a fast and practical integer programming algorithm for dependence analysis - Pugh - 1991
224	Kids: A semiautomatic program development system - Smith - 1990
144	Modern Compiler Implementation in Java - Appel - 1998
142	Proving and applying program transformations expressed with second-order patterns - Huet, Lang - 1978
137	Essentials of programming languages - Friedman, Wand, et al. - 1992
101	S.: Finite differencing of computable expressions - Paige, Koenig - 1982
89	The Java Language Speci - Gosling, Joy, et al. - 1996
87	The interprocedural analysis and automatic parallelization of Scheme programs - HARRISON - 1989
85	The Java Language Speci cation - Gosling, Joy, et al. - 1996
75	The Specification and Transformation of Programs: A Formal Approach to Software Development - Partsch - 1990
68	Rules and Strategies for Transforming Functional and Logic Programs - Pettorossi, Proietti - 1996
64	A semantic model of reference counting and its abstraction - Hudak - 1986
61	An Efficient Machine-Independant Procedure for Garbage Collection in Various List Structures - Schorr - 1967
52	Algorithmic Language and Program Development - Bauer, Wossner - 1982
51	Program derivation by fixed point computation - Cai, Paige
50	A system which automatically improves programs - DARLINGTON, BURSTALL - 1976
49	Continuation-based program transformation strategies - Wand - 1980
44	The Analysis of Algorithms - Purdom, Brown - 1985
43	Compile-time garbage collection by sharing analysis - Jones, Métayer
42	Static caching for incremental computation - Liu, Stoller, et al. - 1998
38	Systematic Derivation of Incremental Programs - Liu, Teitelbaum - 1995
36	Comparative schematology - PATERSON, HEWITT - 1970
28	Program Improvement by Internal Specialization - Scherlis - 1981
26	D.: Dynamic programming via static incrementalization - Liu, Stoller - 2003
26	Real-time simulation of a set machine on a ram - Paige - 1989
25	Eliminating redundant recursive calls - Cohen - 1983
24	Finite di erencing of computable expressions - Paige, Koenig - 1982
23	Automatic transformation of series expressions into loops - Waters - 1991
22	Discovering auxiliary information for incremental computation - Liu, Stoller, et al. - 1996
21	Goal-Directed Program Transformation - WEGBREIT - 1976
19	Some techniques for recursion removal from recursive functions - Arsac, Kodratoff - 1982
18	Function inversion - Harrison
18	The expressive power of higher-order types or, life without cons - Jones
14	Loop optimization for aggregate array computations - Liu, Stoller - 1998
14	Specification and Transformation of Programs—a Formal Approach to Software Development - Partsch - 1990
12	Improving recursive functions by inverting the order of evaluation - Boiten - 1992
12	Set constraints for destructive array update optimization - Wand, Clinger - 2001
12	Theory of Program Structures: Schemes, Semantics, Verification - Greibach - 1975
10	et al.: Revised report on the algorithmic language scheme - Abelson - 1998
10	Recursion from iteration - Filinski - 1994
10	MONA Version 1.3 User Manual - Klarlund, Møller - 1998
10	Principled strength reduction - Liu - 1997
10	A powerful strategy for deriving efficient programs by transformation - Pettorossi - 1984
9	From function level semantics to program transformation and optimization - Backus - 1985
9	CACHET: An interactive, incremental-attributionbased program transformation system for deriving incremental programs - Liu