@techreport{TR-IC-13-20,
   number = {IC-13-20},
   author = {Rachid Rebiha and Arnaldo V. Moura and Nadir Matringe},
   title  =  {Generating Asymptotically Non-terminant Initial Variable
                   Values for Linear Diagonalizable Programs},
   month = {September},
   year = {2013},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 20 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       We present the key notion of \emph{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.
  }
}