Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Cost Semantics for Self-Adjusting Computation Ruy Ley-Wild

Summary: A Cost Semantics for Self-Adjusting Computation
Ruy Ley-Wild
Carnegie Mellon University
Umut A. Acar Matthew Fluet
Toyota Technological Institute at Chicago
Self-adjusting computation is an evaluation model in which pro-
grams can respond efficiently to small changes to their input data by
using a change-propagation mechanism that updates computation
by re-building only the parts affected by changes. Previous work
has proposed language techniques for self-adjusting computation
and showed the approach to be effective in a number of application
areas. However, due to the complex semantics of change propaga-
tion and the indirect nature of previously proposed language tech-
niques, it remains difficult to reason about the efficiency of self-
adjusting programs and change propagation.
In this paper, we propose a cost semantics for self-adjusting
computation that enables reasoning about its effectiveness. As our


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


Collections: Computer Technologies and Information Sciences