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

	多项式循环程序的秩函数探测
	李轶; 冯勇
刊名	软件学报
	2019
卷号	030 期号:011 页码:3243
关键词	可信计算多分支循环程序终止性秩函数
ISSN号	1000-9825
英文摘要	秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.
语种	英语
内容类型	期刊论文
源URL	[http://119.78.100.138/handle/2HOD01W0/10826]
专题	中国科学院重庆绿色智能技术研究院
作者单位	中国科学院重庆绿色智能技术研究院
推荐引用方式 GB/T 7714	李轶,冯勇. 多项式循环程序的秩函数探测[J]. 软件学报,2019,030(011):3243.
APA	李轶,&冯勇.(2019).多项式循环程序的秩函数探测.软件学报,030(011),3243.
MLA	李轶,et al."多项式循环程序的秩函数探测".软件学报 030.011(2019):3243.