Imperative self-adjusting computation

DOI10.1145/1328438.1328476zbMath1295.68075DBLPconf/popl/AcarAB08OpenAlexW2163690888WikidataQ60142690 ScholiaQ60142690MaRDI QIDQ3189850

Amal Ahmed, Matthias Blume, Umut A. Acar

Publication date: 12 September 2014

Published in: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1328438.1328476

zbMATH Keywords

incremental computationmemoizationimperative programmingchange propagationstep-indexed logical relationsself-adjusting computationmutable state

Mathematics Subject Classification ID

Related Items (5)

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go ⋮ Semantic preservation for a type directed translation scheme of Featherweight Go ⋮ Zip-zip trees: making zip trees more balanced, biased, compact, or persistent ⋮ A verified framework for higher-order uncurrying optimizations ⋮ Provenance as dependency analysis

Uses Software

• ML

This page was built for publication: Imperative self-adjusting computation