用标准程序设计语言编写的程序的正确性证明

下载PDF

导出

摘要 3.1 引言在前一章所讨论的归纳断言法,可以直接用来证明用一种标准程序设计语言,比如FORTRAN、ALGOL、或PL/1编写的计算机程序的(部分)正确性。这种程序的终止也可以用前面讲的同一方法来证明。应用归纳断言法证明时。

出处《计算机工程与应用》 1980年第9期30-41,共12页 Computer Engineering and Applications

关键词归纳断言程序段为真 IR IQ 程序调用执行终止程序设计语言

1黄汉臣,李安利,朱升云.正电子湮没寿命谱拟合程序[J].中国原子能科学研究院年报,1987(1):127-127.
2俞静娴,徐建鸣,胡雁,肖文洁,任海丽,倪晓云,李世超.原发性肝癌患者术前禁食禁水的最佳证据应用[J].护士进修杂志,2018,33(7):601-604. 被引量：10
3梁植林,张索林,吴中枢.M—H_2O体系T—E—PH平衡图的电算绘制[J].河北师范大学学报（自然科学版）,1984,12(Z1):44-50.
4J.S.Archer,陆集平.高效能抛物面天线反射器[J].宇航材料工艺,1980,17(3):57-62.
5张献平.链轮滚刀法向齿形设计[J].长春理工大学学报（自然科学版）,1982,20(1):66-76.
6汪银标.电算机计算块段矿岩量[J].有色金属工程,1981(1):10-15.
7周蓉生,童纯菡.适用于中子活化分析的CQ程序[J].物探化探计算技术,1985,10(1):50-51.
8杨永谦.船体板架复杂弯曲有限元计算程序[J].武汉理工大学学报（交通科学与工程版）,1980,22(1):68-82.
9王宇洋.基于大数据的共享单车移动趋势分析与预测[J].中国管理信息化,2018,21(9):150-152. 被引量：2
10夏建国,黄子修,邵月华,孟智启.家蚕品种信息贮存检索汉字输出系统的研制[J].蚕业科学,1984,14(2):82-86. 被引量：1

计算机工程与应用

1980年第9期

浏览历史

内容加载中请稍等...