程序设计语言理论

第1章 引言 1.1 基本概念 1.1.1 模型语言 1.1.2 九表示法 1.1.3 记号和约定 1.2 等式、归约和语义 1.2.1 公理语义 1.2.2 操作语义 1.2.3 指称语义 1.3 类型和类型系统 1.3.1 类型和类型系统 1.3.2 类型语言的优点 1.4 归纳法 1.4.1 表达式上的归纳 1.4.2 证明上的归纳 1.4.3 良基归纳 习题第2章 可计算函数程序设计语言 2.1 引言 2.2 语法 2.2.1 概述 2.2.2 布尔值和自然数 2.2.3 二元组和函数 2.2.4 声明和语法美化 2.2.5 递归函数和不动点算子 2.2.6 语法总结和例子 2.3 程序和语义 2.3.1 程序和结果 2.3.2 公理语义 2.3.3 指称语义 2.3.4 操作语义 2.3.5 由各种形式的语义定义的等价关系 2.4 归约和符号解释器 2.4.1 归约的合流性 2.4.2 归约策略 2.4.3 最左归约和惰性归约 2.4.4 并行归约 2.4.5 急切归约 2.5 程序设计实例、表达能力和局限 2.5.1 记录和n元组 2.5.2 查找自然数 2.5.3 迭代和尾递归 2.5.4 完全递归函数 2.5.5 部分递归函数 2.5.6 并行运算的不可定义性 2.6 衍生和扩充 2.6.1 单元类型与和类型 2.6.2 递归类型 习题第3章 泛代数和代数数据类型 3.1 引言 3.2 代数、基调和项 3.2.1 代数 3.2.2 代数项的语法 3.2.3 代数以及项在代数中的解释 ……
第4章 简单化类型λ演算第5章 类型化λ演算的模型第6章 命令式程序第7章 多态性第8章 子定型及有关概念第9章 类型推断参考文献