Title :
A Heuristic Approach to Verifying the Termination of Linear Programs
Author :
Li, Lingna ; Tian, Jidong
Abstract :
In this paper, we present a new heuristic approach to verifying termination of linear programs by computing difference operators. We get the conclusion that only if the difference operator after finite difference is a constant, then termination of the program is decidable. Even we can obtain the preconditions of program´s termination.
Keywords :
Algebra; Bismuth; Computers; Conferences; Educational institutions; Finite difference methods; Polynomials; condition expression; difference operator; program veri?cation; termination;
Conference_Titel :
Computational and Information Sciences (ICCIS), 2011 International Conference on
Conference_Location :
Chengdu, China
Print_ISBN :
978-1-4577-1540-2
DOI :
10.1109/ICCIS.2011.34
