On static and dynamic control-flow information in program analysis and transformation

MaRDI QIDQ2763536zbMATH OpenFDO

Authors Daniel Damian

Publication date 16 January 2002

zbMATH Keywords

control-flow information in programming languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Recommendations

• A Simple CPS Transformation of Control-Flow Information
• Representing Control: a Study of the CPS Transformation
• CPS transformation of flow information
• CPS transformation of flow information, Part II: administrative reductions
• Syntactic accidents in program analysis: on the impact of the CPS transformation

Cited in

(5)

• Some methods of automatic analysis and controllable transformation of programs
• A first-order one-pass CPS transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• scientific article; zbMATH DE number 2036332 (Why is no real title available?)
• A Simple CPS Transformation of Control-Flow Information

This page was built for publication: On static and dynamic control-flow information in program analysis and transformation

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