Title :
Termination Set of Univariate Monotonic Program
Author :
Zhao, Shizhong ; Feng, Ranran ; Chen, Donghuo
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
As the rapid development of computer science technology, programs play an important role in our daily life. Given a loop program, whether it can finally terminate is crucial for software safety. However, its terminability is normally considered to be undecidable. In this paper, a particular type of program - univariate monotonic loop program is discussed, and by "Backward-Iteration approach", their termination sets can be derived.
Keywords :
program control structures; backward iteration approach; computer programs; computer science technology; loop program; software safety; termination sets; univariate monotonic program; Bismuth; Computers; Conferences; Polynomials; Programming; Software;
Conference_Titel :
E-Product E-Service and E-Entertainment (ICEEE), 2010 International Conference on
Conference_Location :
Henan
Print_ISBN :
978-1-4244-7159-1
DOI :
10.1109/ICEEE.2010.5660122
