CPS transformation of flow information, Part II: administrative reductions

DOI10.1017/S0956796803004702zbMATH Open1110.68358OpenAlexW2037781281MaRDI QIDQ4460720FDOQ4460720

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

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

zbMATH Keywords

control-flow analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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)