目 录 1
引 言 1
第一部分形式化的程序设计 1
一、规范、程序和程序设计 1
二、最弱前置条件概念的引入 3
三、wp的性质 9
四、程序设计语言的wp语义 14
五、关于选择语句和循环语句的定理 25
六、程序设计的形式化方法 31
七、基于wp演算的程序正确性证明 33
八、基于wp演算的形式化程序设计 41
九、面向目标的程序设计 42
十、不变式推导技术 50
第二部分 自动化的程序设计 79
十一、概论 79
十二、规范模式 81
十三、逻辑程序设计语言PROLOG简介 85
十四、规范演绎 89
十五、知识库 95
十六、程序综合的结构 101
十七、PROLOG程序的自动综合 102
十八、知识库的自学习 126
参考文献 128