Adaptive Functional Programming

Adaptive Functional Programming (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Umut A. Acar , Guy E. Blelloch , Robert Harper

Venue:	IN PROCEEDINGS OF THE 29TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:	52 - 20 self

BibTeX

@INPROCEEDINGS{Acar01adaptivefunctional,
    author = {Umut A. Acar and Guy E. Blelloch and Robert Harper},
    title = {Adaptive Functional Programming},
    booktitle = {IN PROCEEDINGS OF THE 29TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES},
    year = {2001},
    pages = {247--259},
    publisher = {ACM Press}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they remain limited in their scope of applicability. We propose a general mechanism for adaptive computing that enables one to make any purely-functional program adaptive. We show

Citations

1965	Dynamic Programming - Bellman - 1957
231	Making data structures persistent - Driscoll, Sarnak, et al. - 1989
215	Data structures for mobile data - Basch, Guibas, et al. - 1997
182	A basis for a mathematical theory of computation - McCarthy - 1963
143	Two algorithms for maintaining order in a list - Dietz, Sleator - 1987
143	R.: A Judgmental Reconstruction of Modal Logic - Pfenning, Davies
117	Parallel tree contraction and its application - Miller, Reif - 1985
83	Memo functions and machine learning - Michie - 1968
60	Analysis and caching of dependencies - Abadi, Lampson, et al. - 1996
58	Incremental computation via function caching - Pugh, Teitelbaum - 1989
50	Generating language-based environments - Reps - 1984
42	Static caching for incremental computation - Liu, Stoller, et al. - 1998
40	Selective memoization - Acar, Blelloch, et al. - 2003
39	Caching function calls using precise dependencies - Heydon, Levin, et al. - 2000
38	Systematic Derivation of Incremental Programs - Liu, Teitelbaum - 1995
37	Incremental evaluation for attribute grammars with unrestricted movement between tree modifications - Reps - 1986
35	Dynamizing static algorithms with applications to dynamic trees and history independence - Acar, Blelloch, et al. - 2004
33	A categorized bibliography on incremental computation - Ramalingam, Reps - 1993
30	Fully persistent arrays - Dietz - 1989
29	Incremental Graph Evaluation - Hoover - 1987
27	INC: A Language for Incremental Computations - Yellin, Strom
25	Optimal-time incremental semantic analysis for syntax-directed editors - Reps - 1982
24	Self-Adjusting Computation - Acar - 2005
24	The Vesta Approach to Software Configuration Management - Heydon, Levin, et al. - 2001
22	Tarjan, Fully persistent lists with catenation - Driscoll, Sleator, et al. - 1994
22	Discovering auxiliary information for incremental computation - Liu, Stoller, et al. - 1996
21	Incremental reduction in the lambda calculus - Field, Teitelbaum - 1990
16	An experimental analysis of change propagation in dynamic trees - Acar, Blelloch, et al. - 2004
16	Monads for incremental computing - Carlsson - 2002
14	Sleator and Robert Endre Tarjan. A data structure for dynamic trees - Daniel - 1983
9	Incremental compilation via partial evaluation - Sundaresh, Hudak - 1991
9	Incremental Computation: A Semantics-Based Systematic Transformational Approach - Liu - 1996
5	Incremental Reduction in the Lambda Calculus and Related Reduction Systems - Field - 1991