Imperative self-adjusting computation
From MaRDI portal
change propagationimperative programmingincremental computationmemoizationmutable stateself-adjusting computationstep-indexed logical relations
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
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)