Lambda-lifting and CPS conversion in an imperative language
Programming Languages
2012-02-16 v1
Abstract
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.
Cite
@article{arxiv.1202.3247,
title = {Lambda-lifting and CPS conversion in an imperative language},
author = {Gabriel Kerneis and Juliusz Chroboczek},
journal= {arXiv preprint arXiv:1202.3247},
year = {2012}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1011.4558