CPS transformation of flow information

DOI10.1017/S0956796802004513MaRDI QIDQ4460719zbMATH OpenOpenAlexFDO

Authors Jens Palsberg, Mitchell Wand

Publication date 29 March 2004

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796802004513

zbMATH Keywords

continuation-passing-style

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• CPS transformation of flow information, Part II: administrative reductions
• A Simple CPS Transformation of Control-Flow Information
• A selective CPS transformation
• scientific article; zbMATH DE number 3872647
• On one-pass CPS transformations
• scientific article; zbMATH DE number 1692933
• A first-order one-pass CPS transformation
• scientific article; zbMATH DE number 2087425
• Representing Control: a Study of the CPS Transformation
• Information Flow in Computational Systems

Cited in

(12)

• CPS transformation of beta-redexes
• A first-order one-pass CPS transformation
• Graded Brauer groups of a groupoid with involution
• On groupoids with involutions and their cohomology
• On static and dynamic control-flow information in program analysis and transformation
• Twists over étale groupoids and twisted vector bundles
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• CPS transformation of flow information, Part II: administrative reductions
• scientific article; zbMATH DE number 2087425 (Why is no real title available?)
• A Simple CPS Transformation of Control-Flow Information
• Control-flow analysis of function calls and returns by abstract interpretation

This page was built for publication: CPS transformation of flow information

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