A Simple CPS Transformation of Control-Flow Information

DOI10.1093/jigpal/10.5.501zbMath1009.68025OpenAlexW2060084485MaRDI QIDQ4795879

Daniel Damian, Olivier Danvy

Publication date: 7 May 2003

Published in: Logic Journal of 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)

Related Items (1)

A first-order one-pass CPS transformation

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