Title :
Termination Analysis of Linear Loop Programs
Author :
Yu, Wei ; Zhao, Xiaoyan
Author_Institution :
Sch. of Math. & Comput. Eng., Xihua Univ., Chengdu, China
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;
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
DOI :
10.1109/ICICTA.2009.877
