%0 Journal Article
%T 非线性循环的终止性分析
%A 李轶？
%J 软件学报
%P 1045-1052
%D 2012
%R 10.3724/SP.J.1001.2012.03982
%X 单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
%K 可信计算
%K 非线性循环
%K 终止性分析
%K discoverer
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3982&flag=1