Syntactic accidents in program analysis: on the impact of the CPS transformation

DOI10.1145/351240.351260MaRDI QIDQ2943371zbMATH OpenOpenAlexFDO

Authors Daniel Damian, Olivier Danvy

Publication date 11 September 2015

Published in Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/351240.351260

zbMATH Keywords

binding-time improvementscontinuation-based evaluationcontinuation-based partial evaluationCPS transformation of binding-time informationCPS transformation of control-flow information

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Recommendations

• Syntactic accidents in program analysis: on the impact of the CPS transformation
• CPS transformation of flow information
• A Simple CPS Transformation of Control-Flow Information
• Representing Control: a Study of the CPS Transformation
• On static and dynamic control-flow information in program analysis and transformation

Cited in

(3)

• A Simple CPS Transformation of Control-Flow Information
• A selective CPS transformation
• Syntactic accidents in program analysis: on the impact of the CPS transformation

This page was built for publication: Syntactic accidents in program analysis: on the impact of the CPS transformation

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