A Cost Semantics for Self-Adjusting Computation Ruy Ley-Wild 1 Umut A. Acar 2 Matthew Fluet 2 July 2008 CMU-CS-08-141 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 1 Carnegie Mellon University 2 Toyota Technological Institute at Chicago