面向对象程序的资源控制
编程语言
2007-06-18 v1 计算机科学中的逻辑
摘要
超解释（sup-interpretation）是一种工具，可为程序某符号计算出的值的大小提供上界。超解释在处理一阶函数式程序的复杂性方面已显示出其价值，例如，它们可用于刻画所有在 Alogtime 内按位可计算的函数。本文尝试将超解释框架适配于面向对象程序的一个片段，其中包括通过构造符号对数字的不同编码、loop 和 while 结构以及带有副作用的非递归方法。我们给出了一个称为“兄弟准则”（brotherly criterion）的判据，该准则确保每个兄弟程序计算出的对象大小受输入大小的多项式界约束。
引用
@article{arxiv.0706.2293,
title = {Resource control of object-oriented programs},
author = {Jean-Yves Marion and Romain Pechoux},
journal= {arXiv preprint arXiv:0706.2293},
year = {2007}
}