A Simple CPS Transformation of Control-Flow Information

DOI10.1093/JIGPAL/10.5.501MaRDI QIDQ4795879zbMATH OpenOpenAlexFDO

Authors Daniel Damian, Olivier Danvy

Publication date 7 May 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/75373008ac7c703a3ce1f815c2c9eb9aa0f9c456

zbMATH Keywords

CPS transformationconstraint-based control-flow analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• CPS transformation of flow information
• On static and dynamic control-flow information in program analysis and transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• scientific article; zbMATH DE number 2087425
• CPS transformation of flow information, Part II: administrative reductions

Cited in

(9)

• On one-pass CPS transformations
• CPS transformation of flow information, Part II: administrative reductions
• A selective CPS transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• scientific article; zbMATH DE number 2087425 (Why is no real title available?)
• A first-order one-pass CPS transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• CPS transformation of flow information
• On static and dynamic control-flow information in program analysis and transformation

This page was built for publication: A Simple CPS Transformation of Control-Flow Information

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