A Library for Self-Adjusting Computation

  title={A Library for Self-Adjusting Computation},
  author={Umut A. Acar and Guy E. Blelloch and Matthias Blume and Robert Harper and Kanat Tangwongsan},
  journal={Electr. Notes Theor. Comput. Sci.},
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve efficient updates. We describe an implementation of the library and apply it to the problem of maintaining the convex hull of a dynamically changing set of points. Our experiments show that the overhead of the library is small, and that self-adjusting programs can adjust to small changes three-orders of magnitude faster… CONTINUE READING
Highly Cited
This paper has 59 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Imperative self-adjusting computation

View 7 Excerpts
Method Support
Highly Influenced

59 Citations

Citations per Year
Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.