|
内容简介：
《Concepts of Programming Languages》本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化?演算的数学系统。演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。
本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章中论述。本书最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。
本书可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。
本书是为本科高年级和研究生开始阶段的学生编写的。书中利用一系列类型化λ演算系统来研究顺序程序语言的公理、操作和指称语义。后面的章节循序渐进地致力于探索较为复杂的类型系统。
与同样主题的其他书籍相比，本书的特色主要在于它包含研究泛代数和代数数据类型、命令式语言和floyd-hoare逻辑的内容，并包含探讨多态与模块、类型适应性和面向对象概念以及类型推理的高级章节。本书是数学性的，但所含的讨论、启示和举例使得这些材料对于软件系统、理论计算机科学或数理逻辑专业的学生是能够接受的。
本书也适用于关注程序设计语言、软件确认与验证和程序设计，包括使用软件模块和面向对象程序设计的专业工作者们作为参考。
内容截图：
 目录: 第1章 引言 1.
1.1 模型程序设计语言 1
1.2 λ记法 2
1.3 等式，归约和语义 4
1.3.1 公理语义 4
1.3.2 操作语义 5
1.3.3 指称语义 5
1.4 类型和类型系统 6
1.5 记法和数学约定 8
1.6 集合论基础知识 9
1.6.1 基础 9
1.6.2 关系和函数 12
1.7 语法和语义 14
1.7.1 目标语言和元语言 14
1.7.2 文法 14
1.7.3 词法分析和语法分析 15
1.7.4 数学解释示例 17
1.8 归纳法 18
1.8.1 自然数归纳法 18
1.8.2 表达式和证明上的归纳法 21
等
|
