A Selective CPS Transformation
From MaRDI portal
Publication:4917063
DOI10.1016/S1571-0661(04)80969-1zbMath1260.68113MaRDI QIDQ4917063
Lasse R. Nielsen, Mārtiņš Brics
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
A Functional Abstraction of Typed Invocation Contexts ⋮ Automating the functional correspondence between higher-order evaluators and abstract machines ⋮ Understanding algebraic effect handlers via delimited control operators
Cites Work
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Definitional interpreters for higher-order programming languages
- Optimizing nested loops using local CPS conversion
- Syntactic accidents in program analysis
- Representing Control: a Study of the CPS Transformation
- Monads in action
- On the transformation between direct and continuation semantics
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Selective CPS Transformation
