Lambda-lifting and CPS conversion in an imperative language

Gabriel Kerneis, Juliusz Chroboczek

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…