Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
CEAL: A C-Based Language for Self-Adjusting Computation Matthew A. Hammer Umut A. Acar Yan Chen
 

Summary: CEAL: A C-Based Language for Self-Adjusting Computation
Matthew A. Hammer Umut A. Acar Yan Chen
Toyota Technological Institute at Chicago
{hammer,umut,chenyan}@tti-c.org
Abstract
Self-adjusting computation offers a language-centric approach to
writing programs that can automatically respond to modifications
to their data (e.g., inputs). Except for several domain-specific
implementations, however, all previous implementations of self-
adjusting computation assume mostly functional, higher-order lan-
guages such as Standard ML. Prior to this work, it was not known
if self-adjusting computation can be made to work with low-level,
imperative languages such as C without placing undue burden on
the programmer.
We describe the design and implementation of CEAL: a C-based
language for self-adjusting computation. The language is fully gen-
eral and extends C with a small number of primitives to enable
writing self-adjusting programs in a style similar to conventional
C programs. We present efficient compilation techniques for trans-
lating CEAL programs into C that can be compiled with existing

  

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

 

Collections: Computer Technologies and Information Sciences