Representing Control: a Study of the CPS Transformation
From MaRDI portal
Publication:4493071
DOI10.1017/S0960129500001535zbMath0941.00040OpenAlexW1999336811WikidataQ56430282 ScholiaQ56430282MaRDI QIDQ4493071
No author found.
Publication date: 2 August 2000
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500001535
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Formal compiler construction in a logical framework ⋮ Magic-sets for localised analysis of Java bytecode ⋮ Axioms for control operators in the CPS hierarchy ⋮ A static simulation of dynamic delimited control ⋮ On typing delimited continuations: Three new solutions to the printf problem
Cites Work
- Two-level semantics and abstract interpretation
- Two-level semantics and code generation
- A syntactic theory of sequential control
- Automatic autoprojection of recursive equations with global variables and abstract data types
- Automatic autoprojection of higher order recursive equations
- Call-by-name, call-by-value and the \(\lambda\)-calculus
