最终线性排名函数
摘要
工具书类
建议
带条件线性规划的终止分析 ICACTE’08:2008年高级计算机理论与工程国际会议记录 在许多应用程序中,尤其是在那些安全关键型软件中,证明程序循环的终止是必要的。 发现秩函数是证明终止性的经典方法,但秩函数的存在是证明终止的充分条件。。。
评论
信息和贡献者
问询处
发布于
赞助商
马德里大学
合作中
出版商
出版历史
检查更新
作者标记
限定符
研究文章
会议
接受率
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
16 引文总数 查看引文 87 总下载次数
下载次数(过去12个月) 9 下载次数(最近6周) 0
其他指标
引文
引用人
李毅 李X 李毅 太阳X 图里尼A 张磊 (2022) 基于SVM的循环程序排序函数综合 理论计算机科学 2016年10月10日/j.tcs.2022.07.002 935 (1-20) 在线发布日期:2022年10月 棕色W 李毅 (2021) 基于DNN的排序函数综合 神经计算及其应用 2007年10月7日/00521-05763-8 在线发布日期:2021年2月26日 温克勒S 莫瑟G (2021) 逻辑约束重写的运行时复杂性分析 基于逻辑的程序合成与转换 10.1007/978-3-030-68446-4_2 (37-55) 在线发布日期:2021年2月13日 元Y 李毅 (2019) 基于SVM的排序函数检测:一种更通用的方法 IEEE接入 10.1109/通道2018.2890692 7 (9971-9979) 在线发布日期:2019年 李毅 吴伟 冯毅 (2019) 关于单路径线性约束循环的排序函数 国际技术转让软件工具杂志 2007年10月10日/10009-019-00549-9 在线发布日期:2019年11月13日 元Y 李毅 施W (2019) 单路线性约束回路的多相线性排序函数检测 国际技术转让软件工具杂志 2007年10月10日/10009-019-00527-1 在线发布日期:2019年7月24日 李毅 太阳X 李毅 图里尼A 张磊 (2019) 基于SVM的循环程序嵌套排序函数综合 形式化方法与软件工程 10.1007/978-3-030-32409-4_27 (438-454) 在线发布日期:2019年10月28日 Ben-Amram A公司 Doménech J公司 Genaim S公司 (2019) 多相线性秩函数及其与递归集的关系 静态分析 10.1007/978-3-030-32304-2_22 (459-480) 在线发布日期:2019年10月2日 李毅 蔡T 冯毅 (2018) 多路径线性分配环终止的一个充分准则 嵌入式系统技术 10.1007/978-981-13-1026-3_17 (223-237) 在线发布日期:2018年7月10日 李毅 (2017) 半代数循环程序的终止 可靠软件工程。理论、工具和应用 10.1007/978-3-319-69483-2_8 (131-146) 在线发布日期:2017年10月17日 显示更多引用者