首页 | 本学科首页   官方微博 | 高级检索  
     

多分支单变量循环程序的终止性分析
引用本文:李轶,李传璨,吴文渊.多分支单变量循环程序的终止性分析[J].软件学报,2015,26(2):297-304.
作者姓名:李轶  李传璨  吴文渊
作者单位:自动推理与认知重庆市重点实验室中国科学院 重庆绿色智能技术研究院, 重庆 401120,自动推理与认知重庆市重点实验室中国科学院 重庆绿色智能技术研究院, 重庆 401120;重庆邮电大学 计算机科学与技术学院, 重庆 400065,自动推理与认知重庆市重点实验室中国科学院 重庆绿色智能技术研究院, 重庆 401120
基金项目:国家自然科学基金(61103110); 重庆市科技攻关项目(cstc2012ggB40004, cstc2013jjys0002)
摘    要:对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.

关 键 词:可信计算  多分支循环程序  终止性分析
收稿时间:7/2/2014 12:00:00 AM
修稿时间:2014/10/31 0:00:00

Termination Analysis of Multipath Loop Programs with One Variable
LI Yi,LI Chuan-Can and WU Wen-Yuan.Termination Analysis of Multipath Loop Programs with One Variable[J].Journal of Software,2015,26(2):297-304.
Authors:LI Yi  LI Chuan-Can and WU Wen-Yuan
Affiliation:Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences, Chongqing 401120, China,Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences, Chongqing 401120, China;College of Computer Science and Technology, Chongqing University of Posts and Telecommunications, Chongqing 400065, China and Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences, Chongqing 401120, China
Abstract:Termination of multipath loop programs with one variable is analyzed in this paper. It demonstrates that under proper conditions, this kind of loops is non-terminate if and only if there exist fixed points. Especially, if the class of programs are polynomial, then under proper conditions, the termination of the programs is decidable over the reals.
Keywords:trusted computing  multipath loop program  termination analysis
本文献已被 CNKI 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号