基础知识

循环的代数界计算。我们提出了一个自动计算嵌套程序循环迭代次数的符号上界的软件工具ABC。该系统将程序静态分析与符号求和技术相结合,导出程序变量之间的循环不变关系。迭代边界是通过用变量的最大值上的边界代替变量从推断的不变量中获得的。我们已成功地将作业成本法应用于大量实例。导出的符号界表示循环变量上的非平凡多项式关系。我们还报告了自动推断调和数上的符号表达式作为循环迭代计数的上界的结果。


zbMATH参考文献(参考 6篇文章 参考)

显示结果1到6,共6个。
按年份排序(引用)

  1. Hensel,Jera;Giesl,Jürgen;Frohn,Florian;Ströder,Thomas:符号执行的位向量算法程序的终止和复杂性分析(2018)
  2. Hoffmann,Jan;Das,Ankush;Weng,Shu Chun:面向OCaml的自动资源约束分析(2017)
  3. Alves,Péricles R.O.;Rodrigues,Raphael E.;de Sousa,Rafael Martins;QuintãO Pereira,Fernando Magno:快速出行计数预测的案例(2015)ioport公司
  4. Knoop,Jens;Kovács,Laura;Zwirchmayr,Jakob:R-tubound:WCET分析的循环边界(工具文件)(2012年)ioport公司
  5. Blanc,Régis;Henzinger,Thomas A.;Hottelier,Thibaud;Kovács,Laura:ABC:循环的代数界计算(2010)
  6. Zwirchmayr,Jakob:前沿时序分析技术(2010)