| | |
Summary: Adaptive Functional Programming
Umut A. Acar Guy E. Blelloch Robert Harper
Computer Science Department
Carnegie Mellon University
Pittsburgh, PA 15213
{umut,blelloch,rwh}@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 remained limited in their scope of applicabil-
ity. We propose a general mechanism for adaptive comput-
ing 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 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
|
