Prolog程序正确性的一种证明方法

• 作者: 施润射 曹立明
• 来源期刊: 上海铁道大学学报
• 学科: 工学
• 关键词: 正确性 证明 整体划分 PROLOG程序 程序设计
• 年，卷（期）: 1999,（8）
• 页码范围: 18-23
• 页数: 6页
• 分类号: TP311.1

摘要

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹立明	上海铁道大学计算机科学技术系	7	14	2.0	3.0
2	施润射	上海铁道大学计算机科学技术系	1	0	0.0	0.0