基于迭代轨迹划分的单分支循环程序终止性分析

王垚, 李轶

Termination Analysis of Single Path Loop Programs Based on Iterative Trajectory Division

WANG Yao, LI Yi

计算机科学 . 2023, (9): 108 -116 . DOI: 10.11896/jsjkx.220700214