论文部分内容阅读
针对归纳变量的识别及归约问题提出一种基于符号运算的新算法。通过初始变量替换赋值语句中的右值，用以表达变量间的迭代与依赖关系，由此建立有向依赖图用于识别归纳变量。为归纳变量构建递归方程组并利用符号运算进行求斛，获得独立的仅依赖于迭代次数的数学形式。实验结果表明，该方法适用于各种复杂的归纳变量，能够解决现有算法无法处理的一些问题。