一种证明程序正确性的方法

来源 :计算机应用 | 被引量 : 4次 | 上传用户:coni
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 ,给出了程序正确性的定义及其证明方法
其他文献
将井筒热对流与地层热传导相结合,给出了井筒温度分布,推导出考虑变温影响的试井解释新方法,剖析焖井过程中油层和蒸汽的能量变化,并使用热流耦合典型曲线,对焖井试井压力资料进行
阅读教学的最终目标是让学生学会如何正确地使用语言文字,提高学生的听、说、读、写等方面的能力。其中,阅读教学则是听、说、读、写教学中的重要一环。做好阅读教学,促使学生自
一些地层的压力特征由于受测试层段内的非均质性、边界效应、井筒储集效应、测试工具性能及人为操作等原因影响,其压力恢复曲线形态变化复杂、多样。运用试井分析原理,结合地
应用环空测试资料的流压段计算的油井各项参数,与压力恢复解释结果对比相对误差较小。对未出现径向流井试井解释,首次提出了稳定试井与不稳定试井联合解释技术。该技术解决了吉
汉化FOXBASE~+中西文字段名的BROWSE汉字显示李明浙江广播电视大学(310012)1概述程序设计时,屏幕显示画面,不管是人机对话方式,表格形式或者图形,都要求画面条理清楚,层次明了,显示简练,使用方便。例如用C语言一类的程序设计语言都不难实?..
有甲、乙两间屋子,甲屋有3个开关,乙屋有3个灯泡。在甲屋看不到乙屋,而甲屋的每一个开关控制乙屋的其中一个灯泡。怎样可以只停留在甲屋、乙屋各一次,就知道哪个开关是控制哪个灯
运用经济学的寻租理论对当前普遍存在的名人做虚假广告现象进行了分析,指出其正是利用自己的名气、地位、声望、权威和影响力这些特殊的稀缺资源给企业做虚假广告,从而为自己
课堂的阅读教学应当是教师和学生之间的双向活动,是两者共同参与、协调完成沟通交流的信息传递过程。在阅读教学中,必须摒弃传统的教学观念和方法,努力创设民主和谐的教学氛围,尝
在小学语文教学中,作文教学可谓是重中之重。小学语文教师要在作文教学中得法,培养学生的观察能力,引导学生积累足素材,强化学生的口语表达能力,注重模仿,学会修改,保护学生对作文的
英语阅读教学在整个英语教学工作中占据非常重要的地位,提高学生英语阅读能力是中学英语教学的重要目标之一,它是中学生英语学习的重要内容和手段。作为一名一直担任教学任务的