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

DOI10.1017/S0956796802004379zbMath1110.68357OpenAlexW2137116731MaRDI QIDQ4460718

Daniel Damain, Olivier Danvy

Publication date: 29 March 2004

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796802004379

zbMATH Keywords

continuation-passing style

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

Control-flow analysis of function calls and returns by abstract interpretation, On one-pass CPS transformations, CPS transformation of beta-redexes