1 citations · 3 across the 6 of their papers we have counts for
3 papers · 1 filter
On the Termination of Linear and Affine Programs over the Integers
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
The termination problem for affine programs over the integers was left open in\cite{Braverman}. For more that a decade, it has been considered and cited as a challenging open probl…
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…
Generating Asymptotically Non-Terminating Initial Values for Linear Programs
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
We present the notion of asymptotically non-terminating initial variable values for linear loop programs. Those values are directly associated to initial variable values for which…