中国科学院重庆绿色智能技术研究院机构知识库

QQ客服 官方微博 反馈留言

	多项式循环程序的秩函数探测
	李轶; 冯勇
	2019
摘要	秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.
关键词	可信计算 多分支循环程序 终止性 秩函数
发表期刊	软件学报
ISSN	1000-9825
卷号	030期号:011页码:3243
语种	英语