3 papers
cs.PL2011
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…
cs.PL2011
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…
cs.PL2008
Provenance Traces
James Cheney, Umut Acar, Amal Ahmed
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due…