Title :
Termination Analysis of Multipath Loop Programs
Author_Institution :
Chengdu Inst. of Comput. Applic., Chengdu, China
Abstract :
In this paper, we analyze termination of multipath linear loop programs by combining the trial difference method and calculation of loop complexity upper bound. Though this method is not complete, it is useful to verify termination of multipath linear loop programs, because it is practical and it is very easy to implement.
Keywords :
computational complexity; program verification; loop complexity upper bound; multipath linear loop programs; trial difference method; Complexity theory; Computers; Educational institutions; Optimization; Polynomials; Radiation detectors; Upper bound; cation; loop complexity upper bound; multipath loop program; program verifi termination; the trial difference method;
Conference_Titel :
Computational and Information Sciences (ICCIS), 2012 Fourth International Conference on
Conference_Location :
Chongqing
Print_ISBN :
978-1-4673-2406-9
DOI :
10.1109/ICCIS.2012.311
