检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到2篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

线性程序的Ranking函数自动合成被引量：1: 1; 作者李骏李轶 +1 位作者冯勇秦小林《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2009年第5期176-181,共6页; 针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法... 展开更多; 关键词 DISCOVERER Farkas’lemma Ranking函数半代数系统程序终止性程序验证; 在线阅读下载PDF 职称材料

关于程序正确性证明的进一步探讨被引量：3: 2; 作者李芳《信息技术与信息化》 2005年第4期66-67,116,共3页; 本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤。; 关键词程序的正确性程序的部分正确性程序的终止性不变式断言法计数器方法检验条件程序正确性证明终止性完全正计数器; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部