A cost semantics for self-adjusting computation

DOI10.1145/1480881.1480907MaRDI QIDQ5261517zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

self-adjusting computation

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Dynamic well-spaced point sets
• Non-monotonic self-adjusting computation
• Imperative self-adjusting computation
• Implicit self-adjusting computation for purely functional programs
• Compiling self-adjusting programs with continuations
• Adaptive functional programming
• A consistent semantics of self-adjusting computation
• Automata, Languages and Programming
• 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)