Summary: Technical Report
TTIC-TR-2009-2
Month 2009
CEAL: A C-Based Language for Self-Adjusting
Computation
Matthew A. Hammer
Toyota Technological Institute at Chicago
hammer@tti-c.org
Umut A. Acar
Toyota Technological Institute at Chicago
umut@tti-c.org
Yan Chen
Toyota Technological Institute at Chicago
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
languages such as Standard ML. It is 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.