Termination Analysis of Programs with Periodic Orbit on the Boundary
Jingmin Chen, Yi Li, Guang Yu Zhu, Chuancan Li, Fangjian Huang · Advances in intelligent systems research/Advances in Intelligent Systems Research · 2015
The termination problem of a class of simple while program: While (constraints) do {updates} end is proven to be decidable by computing periodic orbit of nonlinear updating function over the reals.The termination problem of such a program with open constraint domain which have periodic orbit on the boundary is also discussed and the corresponding algorithms are given.