多分支循环程序相关论文
对多分支单变量循环程序的终止性问题进行了研究．证明了在适定的条件下，该类循环程序不可终止性的充分必要条件是迭代映射在循环条件......
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项......
