Characterization of Termination for Linear Loop Programs

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs…