中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
基于迭代轨迹划分的单分支循环程序终止性分析 期刊论文
计算机科学, 2023, 卷号: 50, 期号: 9, 页码: 108-116
作者:  王垚;  李轶
收藏  |  浏览/下载：56/0  |  提交时间：2023/12/25
Program verification  Ranking functions  Machine learning  Program termination  程序验证  秩函数  机器学习  程序终止性  
多项式循环程序的秩函数探测 期刊论文
软件学报, 2019, 卷号: 030, 期号: 011, 页码: 3243
作者:  李轶;  冯勇
收藏  |  浏览/下载：87/0  |  提交时间：2020/08/24
可信计算  多分支循环程序  终止性  秩函数