45 citations · 148 across the 16 of their papers we have counts for
3 papers · 1 filter
Self-Adjusting Stack Machines
Matthew A. Hammer, Georg Neis, Yan Chen +1
Self-adjusting computation offers a language-based approach to writing programs that automatically respond to dynamically changing data. Recent work made significant progress in de…
A Consistent Semantics of Self-Adjusting Computation
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…
Selective Memoization
Umut A. Acar, Guy E. Blelloch, Robert Harper
This paper presents language techniques for applying memoization selectively. The techniques provide programmer control over equality, space usage, and identification of precise de…