准友好的上解释
摘要：使用先前的论文中，通过静态分析，提出了一种控制具有模式匹配功能的一阶函数程序的内存资源的新工具，称为超解释方法。基本上，超解释提供了函数输出大小的上限。在这项先前的工作中，开发了一种准则，可适用于终止和非终止程序，以便在多项式上限下限定堆栈帧大小。在本文中，我们提出了一个捕捉到更多在输入大小多项式上限的值的算法的新准则。由于这项工作与准解释相关，我们比较了这两个概念，得到了两个主要特点。其中一个特点是，对于给定的程序，我们有一种启发式方法来找到超解释，当我们考虑有界度数的多项式时。另一个特点是，对于能在多项式时间和多项式空间内可计算的函数集合的特征描述。
作者：Jean-Yves Marion and Romain Pechoux
论文ID：cs/0608020
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23