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

• 作者: 施润身 曹立明
• 来源期刊: 上海铁道大学学报
• 学科: 工学
• 关键词: 程序说明 正确性证明 整数划分
• 年，卷（期）: 1999,（8）
• 页码范围: 18-23
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0392.1999.08.004

摘要

提出了一种Prolog程序说明结构,对求解问题的程序加以说明,并以此为基础结合问题特征证明Prolog程序的正确性.同时,以整数划分问题的Prolog改进程序和证明为例,说明程序设计应立足于程序说明和程序正确性的证明.

作者信息

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