A Consistent Semantics of Self-adjusting Computation

DOI10.1007/978-3-540-71316-6_31zbMATH Open1187.68145OpenAlexW1657869212MaRDI QIDQ5756512FDOQ5756512

Umut A. Acar, Jacob Donham, Matthias Blume

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
• Non-monotonic self-adjusting computation
• An Algorithm for Computing Semi-stable Semantics

Mathematics Subject Classification ID

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

Cited In (5)

• 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

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)