scientific article; zbMATH DE number 1497779

zbMATH Open0958.68022MaRDI QIDQ4499196FDOQ4499196

Authors: Olivier Danvy, Belmina Dzafic, Frank Pfenning 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

CPS transformationfirst-order proof techniques

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (10)

• On one-pass CPS transformations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mechanized Verification of CPS Transformations
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Refunctionalization at work
• 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
• Correctness of a higher-order removal transformation through a relational reasoning.

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)