Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Cost Semantics for Self-Adjusting Computation
 

Summary: A Cost Semantics for Self-Adjusting
Computation
Ruy Ley-Wild1
Umut A. Acar2
Matthew Fluet2
July 2008
CMU-CS-08-141
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
1Carnegie Mellon University
2Toyota Technological Institute at Chicago
Keywords: self-adjusting computation, cost semantics
Abstract
Self-adjusting computation is an evaluation model in which programs 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 techniques, it remains difficult

  

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

 

Collections: Computer Technologies and Information Sciences