程序设计语言理论

书籍简介:

本书以类型系统为中心来开展程序设计语言的研究，除了由浅入深地介绍各种类型系统外，还讨论相应程序设计语言的操作语义、公理语言和指称语义，以及这些语义之间的关系，是一本覆盖面较广的有关程序设计语言理论基础的教材。本书分析程序设计语言语法性质、操作性质和语义性质的框架基于叫做类型化#演算的数学系统。全书围绕一系列的#演算来组织，该系列中#演算的类型系统依次变得越来越复杂，这些#演算用来分析和讨论相应的程序设计语言概念，如类型检查和类型推断、递归函数、多态性、抽象数据类型、子类型和递归类型等。以类型系统为中心对程序设计语言进行的这种研究，在软件工程、语言设计、出具证明编译器的设计、软件安全和网络安全等方面都有着重要应用。本书是为计算机软件和理论专业的研究生编写的，其内容主要是根据国外的专著和教材整理的。它可以作为掌握程序设计语言理论中关键知识的研究生教材或学习资料，也可以作为进行程序设计语言类型系统、形式语义和程序逻辑方面高级研究的技术参考书。具备程序设计语言和形式逻辑的基本知识是学习本书的必要条件。

书籍规格:

书籍信息归属:

程序设计语言理论是高等教育出版社于2010.1出版的中图分类号为 TP312 的主题关于 程序语言 的书籍。