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

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：1980年第23卷第9期

页      码：30-41页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203285340...