线上期刊服务咨询,发表咨询:400-808-1701 订阅咨询:400-808-1721

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

李轶; 冯勇 软件学报 2019年第11期

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

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

单位:中国科学院重庆绿色智能技术研究院; 重庆401120

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

软件学报

北大期刊

¥1128.00

关注 22人评论|3人关注