多阶段秩函数相关硕士博士期刊学术论文 - 搜论网

多阶段秩函数相关论文

基于Dixon结式和逐次差分代换的多项式秩函数探测方法

秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式......

期刊

循环程序终止性多项式循环程序多项式秩函数多阶段秩函数 Dixon结式逐次差分代换 termination of loop programpolynomi

看过本文同时还关注