Imperative self-adjusting computation (Q3189850)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Imperative self-adjusting computation	scientific article

Statements

scholarly article

Imperative self-adjusting computation (English)

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

publication date

12 September 2014

zbMATH Keywords

change propagation

imperative programming

incremental computation

memoization

mutable state

self-adjusting computation

step-indexed logical relations

describes a project that uses

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1145/1328438.1328476

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:3189850

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3189850&oldid=37912450"