A Consistent Semantics of Self-adjusting Computation

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

(8)

• Build systems à la carte: theory and practice
• Compiling self-adjusting programs with continuations
• A consistent semantics of self-adjusting computation
• Implicit self-adjusting computation for purely functional programs
• A cost semantics for self-adjusting computation
• Paraconsistent arithmetic with a local consistency operator and global selfreference
• Imperative self-adjusting computation
• Computing in unpredictable environments: semantics, reduction strategies, and program transformations

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)