A cost semantics for self-adjusting computation

DOI10.1145/1480881.1480907zbMATH Open1315.68101OpenAlexW2001280137MaRDI QIDQ5261517FDOQ5261517

Authors: Ruy Ley-Wild, Umut A. Acar, Matthew T. Fluet 

Publication date: 3 July 2015

Published in: Proceedings of the 36th 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/1480881.1480907

Recommendations

• Imperative self-adjusting computation
• A consistent semantics of self-adjusting computation
• A Consistent Semantics of Self-adjusting Computation
• Non-monotonic self-adjusting computation
• Compiling self-adjusting programs with continuations

zbMATH Keywords

self-adjusting computation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (4)

• Automata, Languages and Programming
• Imperative self-adjusting computation
• Dynamic well-spaced point sets
• A Consistent Semantics of Self-adjusting Computation

This page was built for publication: A cost semantics for self-adjusting computation

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