%0 Journal Article
%T 多分支单变量循环程序的终止性分析
%A 李轶？
%A 李传璨？
%A 吴文渊？
%J 软件学报
%P 297-304
%D 2015
%R 10.13328/j.cnki.jos.004782
%X 对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.
%K 可信计算
%K 多分支循环程序
%K 终止性分析
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4782&flag=1