Proceedings of the 2015 International Conference on Intelligent Systems Research and Mechatronics Engineering

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/).

Download article (PDF)

Volume Title
Proceedings of the 2015 International Conference on Intelligent Systems Research and Mechatronics Engineering
Series
Advances in Intelligent Systems Research
Publication Date
April 2015
ISBN
10.2991/isrme-15.2015.279
ISSN
1951-6851
DOI
10.2991/isrme-15.2015.279How to use a DOI?
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  -