Scifaro

中文

命令式语言中的Lambda提升与CPS转换

编程语言 2012-02-16 v1

作者: Gabriel Kerneis , Juliusz Chroboczek

在 arXiv 上查看 ↗ PDF ↗

摘要

本文是文章《延续传递C：从线程到事件通过延续》的配套技术报告。它包含了文章中提出的lambda提升和CPS转换正确性证明的完整版本。

关键词

Lambda提升 CPS转换延续传递风格命令式语言正确性证明

引用

@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}
}

备注

arXiv admin note: substantial text overlap with arXiv:1011.4558