A cost semantics for self-adjusting computation

DOI10.1145/1480881.1480907zbMath1315.68101OpenAlexW2001280137MaRDI QIDQ5261517

Umut A. Acar, Ruy Ley-Wild, 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) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Dynamic well-spaced point sets

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