See this document in CiteSeerX!

Adaptive Functional Programming (2001)  (Make Corrections)  (23 citations)
Umut A. Acar, Guy E. Blelloch, Robert Harper
Symposium on Principles of Programming Languages



  Home/Search   Context   Related

 
View or download:
cmu.edu/anon/2001/CMUCS01161.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cmu.edu/anon/2001/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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 that the mechanism is practical by giving an efficient implementation as a small ML library. The library consists of three operations for making a ... (Update)

Cited by:   More
Dynamizing Static Algorithms, with Applications to.. - Acar, Blelloch.. (2003)   (Correct)
Adaptive Functional Programming - Acar, Blelloch, Harper (2002)   (Correct)
Adaptive Memoization - Umut Acar Guy   (Correct)

Active bibliography (related documents):   More   All
0.2:   Incremental Computation: A Semantics-Based Systematic.. - Liu (1996)   (Correct)
0.2:   Efficient Computation via Incremental Computation - Liu (1999)   (Correct)
0.1:   Selective Memoization - Acar, Blelloch, Harper (2003)   (Correct)

Similar documents based on text:   More   All
0.5:   The Data Locality of Work Stealing - Acar, Blelloch, Blumofe (2000)   (Correct)
0.1:   -- 1-- Axions And Other Very Light Bosons, Part Iii.. - By Hagmann Van (1999)   (Correct)

Related documents from co-citation:   More   All
33:   Incremental computation via function caching (context) - Pugh, Teitelbaum - 1989
18:   Incremental evaluation for attribute grammars with application to syntax-directe.. (context) - Demers, Reps et al. - 1981
14:   Two algorithms for maintaining order in a list (context) - Dietz, Sleator - 1987

BibTeX entry:   (Update)

Umut A. Acar, Guy E. Blelloch, and Robert W. Harper. Adaptive functional programming. Technical Report CMUCS -01-161, Carnegie Mellon University, Computer Science Department, November 2001. http://citeseer.ist.psu.edu/article/acar01adaptive.html   More

@inproceedings{ acar02adaptive,
    author = "Umut A. Acar and Guy E. Blelloch and Robert Harper",
    title = "Adaptive functional programming",
    booktitle = "Symposium on Principles of Programming Languages",
    pages = "247-259",
    year = "2002",
    url = "citeseer.ist.psu.edu/article/acar01adaptive.html" }
Citations (may not include all citations):
121   Data structures for mobile data - Basch, Guibas et al. - 1999
99   Two algorithms for maintaining order in a list (context) - Dietz, Sleator - 1987
84   Mathematical Structures in Computer Science (context) - Pfenning, Davies et al.
68   Incremental computation via function caching (context) - Pugh - 1987
68   Incremental computation via function caching (context) - Pugh, Teitelbaum - 1989
62   Generating Language-Based Environments (context) - Reps - 1982
57   Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
42   ACM Transactions on Programming Languages and Systems (context) - Yellin, Strom et al. - 1991
39   Discovering auxiliary information for incremental computatio.. - Liu, Stoller et al. - 1996
33   Making data structures persistent (context) - Driscoll, Sarnak et al. - 1989
33   Fully persistent arrays (context) - Dietz - 1989
29   Incremental reduction in the lambda calculus (context) - Field, Teitelbaum - 1990
26   Incremental evaluation of attribute grammars with applicatio.. (context) - Demers, Reps et al. - 1981
25   Fully persistent lists with catenation (context) - Driscoll, Sleator et al. - 1994
25   A categorized bibliography on incremental computation (context) - Ramalingam, Reps - 1993
24   Incremental Graph Evaluation (context) - Hoover - 1987
23   Adaptive functional programming - Acar, Blelloch et al. - 2002
18   Incremental computation via partial evaluation (context) - Sundaresh, Hudak - 1991



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://reports-archive.adm.cs.cmu.edu/anon/2001/):   More
Extending Mobile Computer Battery Life through Energy-Aware.. - Flinn (2001)   (Correct)
"Why 6?" Defining the Operational Limits of stide, an.. - Tan, Maxion (2001)   (Correct)
Locality in Search Engine Queries and Its Implications for.. - Xie, O'Hallaron (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC