引例 一、计算函数值

12.1 程序设计语言 12.2 程序设计风格 12.3 测试策略 12.4 设计测试用例

2.1 基本PR0L0G 2.2 Turbo PR0L0G程序设计

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

1. 程序书写 2. 字符集及标识符 3. 数据类型 4. 声明的有关事项 5. 算数表达式 6. 表控输入/输出语句

第七章编码 7.1程序设计语言 7.2程序设计风格 7.3编码工具

一、程序设计语言 二、程序设计风格 三、面向对象测试

第七章编码 7.1程序设计语言 7.2程序设计风格 7.3编码工具

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法