Compiling self-adjusting programs with continuations

DOI10.1145/1411204.1411249zbMath1323.68190OpenAlexW4253063713MaRDI QIDQ5178772

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

Publication date: 16 March 2015

Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1411204.1411249

zbMATH Keywords

memoizationcontinuation-passing styleself-adjusting computation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication: Compiling self-adjusting programs with continuations