多分支单变量循环程序的终止性分析?

• 作者: 吴文渊 李传璨 李轶
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信计算 多分支循环程序 终止性分析
• 年，卷（期）: 2015,（2）
• 页码范围: 297-304
• 页数: 8页
• 分类号: TP311
• 字数: 6848字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004782

摘要

对多分支单变量循环程序的终止性问题进行了研究。证明了在适定的条件下，该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点。特别地，当这类循环程序是多项式循环程序时，在给定条件下，其在实数域上的终止性问题是可判定的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴文渊	自动推理与认知重庆市重点实验室中国科学院重庆绿色智能技术研究院	4	58	1.0	4.0
2	李传璨	自动推理与认知重庆市重点实验室中国科学院重庆绿色智能技术研究院	2	0	0.0	0.0
4	李轶	自动推理与认知重庆市重点实验室中国科学院重庆绿色智能技术研究院	1	0	0.0	0.0