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
{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

  

Source: Antaki, James F. - Department of Biomedical Engineering & School of Computer Science, Carnegie Mellon University
Blelloch, Guy E. - School of Computer Science, Carnegie Mellon University
Harper, Robert - School of Computer Science, Carnegie Mellon University

 

Collections: Biology and Medicine; Computer Technologies and Information Sciences; Engineering