《程序正确性的证明》求取 ⇩

第一章 数学归纳法1

1.1 引言1

1.2 简单归纳法1

1.3 一个加强型的数学归纳法10

1.4 广义归纳法14

第二章 程序流程图正确性的证明20

2.1 引言20

2.2 证明程序流程图正确的基本原理21

2.3 流程图正确性证明的附例39

2.4 归纳断言法51

2.5 缩写的正确性证明74

2.6 归纳断言法证明的格式化75

第三章 标准程序语言程序正确性的证明84

3.1 引言84

3.2 FORTRAN程序正确性证明举例84

3.3 PL/1程序正确性证明举例94

3.4 部分正确性的公理化论述99

3.5 程序正确性证明是程序编制过程的一部分107

第四章 递归程序的正确性证明112

4.1 引言112

4.2 一个简化的阐述递归的编程语言113

4.3 结构归纳法122

4.4 结构归纳法难题举例133

4.5 非递归程序的结构归纳法146

第五章 程序正确性证明的研究现状157

5.1 引言157

5.2 证明方法157

5.3 程序设计——语言设计159

5.4 正确性证明的机械化160