| 关于求已知do循环不变式的一个方法及for循环的WP的定义 |
| |
| 引用本文： | 王彩芬.关于求已知do循环不变式的一个方法及for循环的WP的定义[J].西北师范大学学报,1993,29(3):24-30. |
| |
| 作者姓名： | 王彩芬 |
| |
| 作者单位： | 西北师范大学计算机科学系 |
| |
| 摘 要： | 对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.
|
| 关 键 词： | 最弱前置谓词 循环不变式 程序设计 |
On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop |
| |
| Wang Caifen.On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop[J].Journal of Northwest Normal University Natural Science (Bimonthly),1993,29(3):24-30. |
| |
| Authors: | Wang Caifen |
| |
| Institution: | Department of Computer Science |
| |
| Abstract: | The loop invariant of definite do loop is attained by using its WP. The semantic definition of for loop is provided. |
| |
| Keywords: | inferior limit precondition loop invariant definite program |
| 本文献已被 CNKI 维普 等数据库收录！ |
