基于k阶秩函数的线性赋值循环程序的终止性分析 (Termination Analysis of Linear Assignment Loop Program Based on k-ranking Functions). - Yi Li; Tianxun Cai; Wenyuan Wu (计算机科学, 2018)