RegularChains 相关硕士博士期刊学术论文 - 搜论网

RegularChains相关论文

基于k阶秩函数的线性赋值循环程序的终止性分析

循环程序的终止性是确保循环程序完全正确的必要条件。如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义......

期刊

线性循环程序终止性分析 k阶秩函数 RegularChains Linear loop programs Termination analysis k-ran

看过本文同时还关注