A Simple CPS Transformation of Control-Flow Information

DOI10.1093/JIGPAL/10.5.501zbMATH Open1009.68025OpenAlexW2060084485MaRDI QIDQ4795879FDOQ4795879

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

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

zbMATH Keywords

CPS transformationconstraint-based control-flow analysis

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)