软件学报

作者：李轶,冯勇

单位：李轶，中国科学院 重庆绿色智能技术研究院, 重庆 40112011,冯勇，中国科学院 重庆绿色智能技术研究院, 重庆 40112002

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

基金：国家自然科学基金（61572024，61103110，11671377）；重庆市自然科学基金（cstc2019jcyj-msxmX0638）

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

来源：2019年第11期

《软件学报》期刊编辑部

查看软件学报杂志2019年第11期