DMCA
Generating Asymptotically Non-Terminant Initial Variable Values for Linear Diagonalizable Programs
| Citations: | 1 - 1 self |
BibTeX
@MISC{Rebiha_generatingasymptotically,
author = {Rachid Rebiha and Nadir Matringe and Arnaldo Vieira Moura},
title = {Generating Asymptotically Non-Terminant Initial Variable Values for Linear Diagonalizable Programs},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present the key notion of asymptotically non-terminant initial variable values for non-terminant loop programs. We show that those specific values are directly associated to inital variable values for which the corresponding loop program does not terminate. Considering linear diagonalizable programs, we describe powerful computational methods that generate automatically and symbolically a semi-linear space represented by a linear system of equalities and inequalities. Each element of this space provides us with asymptotically non-terminant initial variable values. Our approach is based on linear algebraic methods. We obtain specific conditions using certain basis and matrix encodings related to the loop conditions and instructions. 1
Keyphrases
non-terminant initial variable value linear diagonalizable program loop condition linear algebraic method powerful computational method corresponding loop program key notion specific value matrix encoding semi-linear space variable value certain basis linear system non-terminant loop program specific condition
