多项式循环程序的秩函数探测

摘要：

秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.

关键词：可信计算、多分支循环程序、终止性、秩函数

所属期刊栏目：30

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61572024,61103110,11671377;重庆市自然科学基金cstc2019jcyj-msxmX0638

在线出版日期：2019-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：3243-3258