|
|||||
|
|
| 广义有向树与程序终止 | |
| 引用本文： | 刘清,刘远信.广义有向树与程序终止[J].南昌大学学报(理科版),1983,7(3):1. |
| 作者姓名： | 刘清 刘远信 |
| 作者单位： | 江西大学数学系； 江西大学数学系； |
| 摘 要： | <正> 一个程序P是完全正确的,表现为如果对满足输入断言的任何输入,执行程序P,则程序将以满足输出断言的输出而终止。然而,为了方便起见,往往把证明程序正确性的任务分为两个独立的子任务:(1)证明如果程序终止,则输出断言被满足,这叫证明程序部分正确,(2)证明如果对于程序的所 |
| 关 键 词： | 有向树 结点 自然科学版 程序变量 条件 输出断言 程序终止 框图程序 连通子图 有向图 |
| 点击此处可从《南昌大学学报(理科版)》浏览原始摘要信息 | |
| 点击此处可从《南昌大学学报(理科版)》下载免费的PDF全文 | |