A Consistent Semantics of Self-adjusting Computation
From MaRDI portal
Publication:5756512
DOI10.1007/978-3-540-71316-6_31zbMATH Open1187.68145OpenAlexW1657869212MaRDI QIDQ5756512FDOQ5756512
Authors: Umut A. Acar, Matthias Blume, Jacob Donham 
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_31
Recommendations
- A consistent semantics of self-adjusting computation
- A cost semantics for self-adjusting computation
- Imperative self-adjusting computation
- Implicit self-adjusting computation for purely functional programs
- Implicit self-adjusting computation for purely functional programs
- Automata, Languages and Programming
- scientific article; zbMATH DE number 88936
- Non-monotonic self-adjusting computation
- An Algorithm for Computing Semi-stable Semantics
Cited In (6)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- Build systems à la carte: Theory and practice
- Imperative self-adjusting computation
- Implicit self-adjusting computation for purely functional programs
- Paraconsistent arithmetic with a local consistency operator and global selfreference
- A consistent semantics of self-adjusting computation
This page was built for publication: A Consistent Semantics of Self-adjusting Computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756512)
