论文部分内容阅读
5.1 引言 关于程序正确性证明这一领域目前已进行了大量的研究。这里,为了便于讨论,我们把这些研究分成如下几方面: 1.关于证明(部分)正确性和终止的证明技术。 2.有关程序正确性的程序设计和语言设计的一些考虑。
与程序正确性证明有关的当前研究动向
【摘 要】
：
5.1 引言 关于程序正确性证明这一领域目前已进行了大量的研究。这里,为了便于讨论,我们把这些研究分成如下几方面: 1.关于证明(部分)正确性和终止的证明技术。 2.有关程序正
【出 处】
：
计算机工程与应用
【发表日期】
：
1980年9期
其他文献
本书是CHILL的一种非形式化介绍。CHILL是由CCITT(国际电话电报咨询委员会)研制的用于电话系统程序设计的一种高级语言。本书的目的是用初等方法教给读者如何使用CHILL。假定
期刊
以研究性学习理论为指导,利用地区历史资源拓展高中历史教学活动,转变传统教学方式和学习方式,为学生构建开放式学习环境.拓展历史教学的形式和渠道,积极开发地方和校本课程,
小样本数据不能对分类器进行充分的训练。传统的分类器方法一旦设计好,再也不会有任何改进.本文将人工智能的思想、方法应用于分类器设计中,提出了智能分类器概念。智能分类
社会称谓语在交际中使用的范围很广和频率也很高，对于留学生而言，要想熟练地运用汉语进行交际，离不开社会称谓语的使用。语言与文化是密切联系的，针对韩国留学生的社会称谓语教学
通过对农村公路通达深度的分析,提出了农村公路近期发展规模和资金需求预测,为指导农村路网规划提出参考依据.
本文全面分析了dBASEⅢ中的数据库DBF文件和SQL/DS的数据库表文件,并提出了一种把微机dBASE—Ⅲ中的文件装入到IBM4381机中的SQL/DS表文件的方法。
在Visual FoxPro 6.0中可利用DLL API来扩展其功能,介绍在Visual FoxPro 6.0中调用DLL API的方法.
知识经济时代的到来，计算机和信息技术的飞速发展，使企业也迎来了新的信息时代。会计作为经济管理的重要组成部分、社会经济计量的支柱，从内容到形式总是体现着各个时代经济发展
<正> 一、美国两大微处理器厂商的研制计划 Intel公司90年代的微处理器战略进入90年代以后,美国Intel公司即先声夺人地提出了一个将设计理论、制造工艺,批量生产技术相互融合