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编码工具

一、模块的概念: 1、窗体模块(.frm文件) 2、标准模块(.bas文件) 3、类模块(.cls文件) 二、各种模块的功能 三、各种模块包含的内容(过程 四、各种模块如何创建,组织

本章内容： 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式； 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查

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

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

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义