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