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

QQ客服 官方微博 反馈留言

	多分支单变量循环程序的终止性分析
	李轶; 李传璨; 吴文渊
	2015
摘要	对多分支单变量循环程序的终止性问题进行了研究．证明了在适定的条件下，该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点．特别地，当这类循环程序是多项式循环程序时，在给定条件下，其在实数域上的终止性问题是可判定的．
发表期刊	软件学报
ISSN	1000-9825
卷号	026期号:002页码:297
语种	英语