基于秩函数合成的程序终止性验证综述. - 蔡裕星; 陈长波; 李轶 (Application Research of Computers / Jisuanji Yingyong Yanjiu, 2026)