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