基于秩函数合成的程序终止性验证综述.

Saved in:

Bibliographic Details
Title:	基于秩函数合成的程序终止性验证综述.
Alternate Title:	Survey on program termination based on ranking function synthesis.
Authors:	蔡裕星^1,2,3, 陈长波^1,2, 李轶^1,2
Source:	Application Research of Computers / Jisuanji Yingyong Yanjiu. Mar2026, Vol. 43 Issue 3, p641-650. 10p.
Database:	Academic Search Ultimate

Description
ISSN:	10013695
DOI:	10.19734/j.issn.1001-3695.2025.08.0277