空间高效的潜在契约
编程语言
2017-06-07 v4
摘要
标准的高阶契约监视会破坏尾递归并导致空间泄漏，从而改变程序的渐近复杂度；空间高效性恢复尾递归并限制契约所使用的空间量。针对强制简单类型规则（又名渐进类型）的契约的空间高效监视已被充分研究。先前的工作为无依赖的显式契约建立了空间高效的语义（Greenberg 2015）；我们将该工作适配到带依赖的潜在演算上。我们在不使用依赖时保证空间高效性；在使用依赖时我们无法普遍保证空间高效性，而是提供一个框架，逐例地使此类程序空间高效。
引用
@article{arxiv.1604.02474,
title = {Space-Efficient Latent Contracts},
author = {Michael Greenberg},
journal= {arXiv preprint arXiv:1604.02474},
year = {2017}
}
备注
In post-proceedings of TFP 2016. Second revision extends to dependency; third fixes typos in the abstract; fourth is long version of what will be the final TFP publication