递推链代数相关论文
该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法......
提出了一种新型的循环优化分析方法, 用于在符号执行中优化归纳变量为非线性的循 环. 首先详细分析了非线性归纳变量在符号执行中......