Imperative self-adjusting computation

DOI10.1145/1328438.1328476MaRDI QIDQ3189850zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Umut A. Acar, Amal Ahmed, Matthias Blume

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

change propagationimperative programmingincremental computationmemoizationmutable stateself-adjusting computationstep-indexed logical relations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Automata, Languages and Programming
• A consistent semantics of self-adjusting computation
• A Consistent Semantics of Self-adjusting Computation
• Non-monotonic self-adjusting computation
• Implicit self-adjusting computation for purely functional programs
• Implicit self-adjusting computation for purely functional programs
• A cost semantics for self-adjusting computation
• scientific article; zbMATH DE number 3321280
• scientific article; zbMATH DE number 1941122

Cited in

(16)

• Functional programming for dynamic and large data with self-adjusting computation
• Implicit self-adjusting computation for purely functional programs
• Non-monotonic self-adjusting computation
• Provenance as dependency analysis
• Implicit self-adjusting computation for purely functional programs
• Compiling self-adjusting programs with continuations
• Adaptive functional programming
• A cost semantics for self-adjusting computation
• A consistent semantics of self-adjusting computation
• Automata, Languages and Programming
• A Consistent Semantics of Self-adjusting Computation
• 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
• Analytical differential calculus with integration
• A verified framework for higher-order uncurrying optimizations

Describes a project that uses

Uses Software

• ML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3189850)