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

• 作者: 冯勇 李轶
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信计算 多分支循环程序 终止性 秩函数
• 年，卷（期）: 2019,（11）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 3243-3258
• 页数: 16页
• 分类号: TP301
• 字数: 17654字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005567

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李轶	中国科学院重庆绿色智能技术研究院	13	20	2.0	4.0
2	冯勇	中国科学院重庆绿色智能技术研究院	52	233	8.0	13.0