Termination of a Class of Nonlinear Loop Programs
Feng Yong · Journal of Sichuan University · 2009
For termination of linear loop programs proposed by Tiwari,the proof that the non-linear programs of cycle conditions is the homogeneous polynomial and can not be terminated was put forward.Then the program termination was transformed as the solution of a system of semi-algebra.A powerful algebraic symbols tool DISCOVERER was used to solve the approximate error caused by floating-point calculations,and accurately determinate that such programs can not be terminated.Finally,by the computation algebra theory,the cycle conditions was extended to non-homogeneous polynomial.Through theoretical and experimental proof,for a kind of cycle programs that cycle condition is non-linear,these solutions is efficient and reasonable.