A selective CPS transformation

DOI10.1016/S1571-0661(04)80969-1MaRDI QIDQ4917063zbMATH OpenFDO

Authors Lasse R. Nielsen, Mārtiņš Brics

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80969-1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Representing Control: a Study of the CPS Transformation
• Verifying selective CPS transformation for shift and reset
• Continuation passing style for effect handlers
• A Simple CPS Transformation of Control-Flow Information
• scientific article; zbMATH DE number 2087425

Cites work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Definitional interpreters for higher-order programming languages
• scientific article; zbMATH DE number 1692892 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3986620 (Why is no real title available?)
• Monads in action
• On the transformation between direct and continuation semantics
• Optimizing nested loops using local CPS conversion
• Representing Control: a Study of the CPS Transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation

Cited in

(15)

• Comparing control constructs by double-barrelled CPS
• A first-order one-pass CPS transformation
• A static simulation of dynamic delimited control
• Representing Control: a Study of the CPS Transformation
• CPS transformation of flow information
• CPS transformation of flow information, Part II: administrative reductions
• scientific article; zbMATH DE number 2087425 (Why is no real title available?)
• scientific article; zbMATH DE number 2090845 (Why is no real title available?)
• A Functional Abstraction of Typed Invocation Contexts
• Verifying selective CPS transformation for shift and reset
• Continuation passing style for effect handlers
• Compiling with continuations, continued
• Automating the functional correspondence between higher-order evaluators and abstract machines
• Understanding algebraic effect handlers via delimited control operators
• A type system for effect handlers and dynamic labels

This page was built for publication: A selective CPS transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917063)