Lambda-lifting and CPS conversion in an imperative language

Gabriel Kerneis (1) , Juliusz Chroboczek (1)

1 PPS - Preuves, Programmes et Systèmes

This paper is a companion technical report to the article "Continuation-Passing C: from threads to events through continuations". It contains the complete version of the proofs of correctness of lambda-lifting and CPS-conversion presented in the article.

Mots clés: Lambda-lifting; CPS conversion

Domaines: Langage de programmation [cs.PL]

Gabriel Kerneis, Juliusz Chroboczek. Lambda-lifting and CPS conversion in an imperative language. 2012. ⟨hal-00669849⟩