迭代函数收敛性相关硕士博士期刊学术论文 - 搜论网

迭代函数收敛性相关论文

基于递推链代数与迭代序列敛散性的死循环检测

该文针对两大类循环分别给出了非终止性判定的数学方法．首先，针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法......

期刊

死循环检测静态分析递推链代数迭代函数收敛性软件工程 infinite loop detection static analysis chains of

看过本文同时还关注