Sciweavers

AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
13 years 10 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild