CPS transformation of flow information, Part II: administrative reductions

DOI10.1017/S0956796803004702MaRDI QIDQ4460720zbMATH OpenOpenAlexFDO

Authors Daniel Damain, Olivier Danvy

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/s0956796803004702

zbMATH Keywords

control-flow analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• CPS transformation of flow information
• A Simple CPS Transformation of Control-Flow Information
• A selective CPS transformation
• Representing Control: a Study of the CPS Transformation
• scientific article; zbMATH DE number 1692933
• CPS transformation of beta-redexes
• Rough Sets and Current Trends in Computing
• scientific article; zbMATH DE number 3872647
• Retraction approach to CPS transform

Cited in

(5)

• CPS transformation of beta-redexes
• CPS in little pieces: composing partial continuations
• CPS transformation of flow information
• On static and dynamic control-flow information in program analysis and transformation
• A Simple CPS Transformation of Control-Flow Information

This page was built for publication: CPS transformation of flow information, Part II: administrative reductions

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