Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Adaptive Functional Programming Umut A. Acar Guy E. Blelloch Robert Harper
 

Summary: Adaptive Functional Programming 
Umut A. Acar Guy E. Blelloch Robert Harper
Computer Science Department
Carnegie Mellon University
Pittsburgh, PA 15213
fumut,blelloch,rwhg@cs.cmu.edu
Abstract
An adaptive computation maintains the relationship be-
tween its input and output as the input changes. Although
various techniques for adaptive computing have been pro-
posed, 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
e∆cient implementation as a small ML library. The library
consists of three operations for making a program adaptive,
plus two operations for making changes to the input and
adapting the output to these changes. We give a general
bound on the time it takes to adapt the output, and based

  

Source: Acar, Umut - Programming Languages and Systems Group, Max-Planck Institute for Software Systems

 

Collections: Computer Technologies and Information Sciences