线性程序相关论文
对于并行赋值的线性循环程序,已有文献通过矩阵特征值方法来判定其终止性,但该方法并不适用于常见的串行赋值程序。该文通过把串行......
提出一种判定这类线性循环程序是否终止的新方法，该方法通过分析循环变量每次迭代后的状态．最后得到循环条件的满足与否只是与变量的......
