scientific article; zbMATH DE number 1497779

MaRDI QIDQ4499196zbMATH OpenFDO

Authors Olivier Danvy, Belmina Dzafic, Frank Pfenning

Publication date 6 March 2001

zbMATH Keywords

CPS transformationfirst-order proof techniques

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• A first-order one-pass CPS transformation
• scientific article; zbMATH DE number 2087425
• Representing Control: a Study of the CPS Transformation
• On one-pass CPS transformations

Cited in

(10)

• On one-pass CPS transformations
• scientific article; zbMATH DE number 5677418 (Why is no real title available?)
• scientific article; zbMATH DE number 1692891 (Why is no real title available?)
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Mechanized Verification of CPS Transformations
• Refunctionalization at work
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• scientific article; zbMATH DE number 1692892 (Why is no real title available?)
• A first-order one-pass CPS transformation
• Correctness of a higher-order removal transformation through a relational reasoning.

Describes a project that uses

Uses Software

• Elf

This page was built for publication:

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