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

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)

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)

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