DocumentCode
1914715
Title
Termination Analysis of Linear Loop Programs
Author
Yu, Wei ; Zhao, Xiaoyan
Author_Institution
Sch. of Math. & Comput. Eng., Xihua Univ., Chengdu, China
Volume
4
fYear
2009
fDate
10-11 Oct. 2009
Firstpage
677
Lastpage
680
Abstract
We observe that the termination of linear programs relies only on the initial value of program variables and the iteration count. Based on such observation, we present a constructive approach to determine the termination of linear programs. Through our approach, we can also synthesis the termination condition of linear programs if they do not terminate on all inputs, and correct termination defect.
Keywords
program control structures; program verification; iteration count; linear loop programs; program variables; termination analysis; Automation; Educational institutions; Eigenvalues and eigenfunctions; Electronic mail; Finite difference methods; Mathematics; Polynomials; Software safety; State-space methods; Sufficient conditions; Jordan canonical form; linear program; program verification; termination;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computation Technology and Automation, 2009. ICICTA '09. Second International Conference on
Conference_Location
Changsha, Hunan
Print_ISBN
978-0-7695-3804-4
Type
conf
DOI
10.1109/ICICTA.2009.877
Filename
5288388
Link To Document