1 paper
Umut A. Acar, Matthias Blume, Jacob Donham
This paper presents a semantics of self-adjusting computation and proves that the semantics are correct and consistent. The semantics integrate change propagation with the classic…