|
|||||
|
|
| Prolog程序正确性的一种证明方法 | |
| 引用本文： | 曹立明,施润射.Prolog程序正确性的一种证明方法[J].上海铁道大学学报,1999,20(8):18-23. |
| 作者姓名： | 曹立明 施润射 |
| 摘 要： | 提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。 |
| 关 键 词： | 正确性 证明 整体划分 Prolog程序 程序设计 |
| 本文献已被 维普 等数据库收录！ | |