Termination Analysis of Programs with Periodic Orbit on the Boundary
Authors
Jingmin Chen, Yi Li, Guang Zhu, Chuancan Li, Fangjian Huang
Corresponding Author
Jingmin Chen
Available Online April 2015.
- DOI
- 10.2991/isrme-15.2015.279How to use a DOI?
- Keywords
- program verification; termination analysis; fixed point; periodic orbit
- Abstract
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.
- Copyright
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Jingmin Chen AU - Yi Li AU - Guang Zhu AU - Chuancan Li AU - Fangjian Huang PY - 2015/04 DA - 2015/04 TI - Termination Analysis of Programs with Periodic Orbit on the Boundary BT - Proceedings of the 2015 International Conference on Intelligent Systems Research and Mechatronics Engineering PB - Atlantis Press SP - 1394 EP - 1399 SN - 1951-6851 UR - https://doi.org/10.2991/isrme-15.2015.279 DO - 10.2991/isrme-15.2015.279 ID - Chen2015/04 ER -