×

使用成本方程对复杂程序进行资源分析。 (英语) Zbl 1453.68047号

雅克·加里格(编辑),《编程语言和系统》。第十二届亚洲研讨会,2014年APLAS,新加坡,新加坡,2014年11月17日至19日,会议记录。柏林:斯普林格。莱克特。注释计算。科学。8858275-295(2014年)。
摘要:我们提出了一种新的静态分析方法,用于推断命令式和递归程序的精确复杂性边界。分析基于成本方程。因此,它允许统一处理循环和递归过程。该分析能够为具有复杂执行流和多维排序函数的程序提供精确的上限。在第一阶段,控制流优化和不变量生成的组合以一组执行模式的形式创建了一个(可能是过程间的)程序可能行为的表示。在第二阶段,通过组合代码片段的单个成本来获得每个模式的成本上限。我们的技术能够检测不同代码段之间的依赖性,从而计算给定程序的精确上界。已经实现并评估了一个原型,以证明该方法的有效性。
关于整个系列,请参见[Zbl 1327.68021号].

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部