Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Self-Adjusting Computation with Delta ML Umut A. Acar1
 

Summary: Self-Adjusting Computation with Delta ML
Umut A. Acar1
and Ruy Ley-Wild2
1
Toyota Technological Institute
Chicago, IL, USA
umut@tti-c.org
2
Carnegie Mellon University
Pittsburgh, PA, USA
rleywild@cs.cmu.edu
Abstract. In self-adjusting computation, programs respond automati-
cally and efficiently to modifications to their data by tracking the dy-
namic data dependences of the computation and incrementally updating
the output as needed. In this tutorial, we describe the self-adjusting-
computation model and present the language ML (Delta ML) for writ-
ing self-adjusting programs.
1 Introduction
Since the early years of computer science, researchers realized that many uses of
computer applications are incremental by nature. We start an application with

  

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

 

Collections: Computer Technologies and Information Sciences