书籍简介:

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章论述。本书最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。

书籍目录:

"第1章引言

第2章PCF语言

第3章泛代数及代数数据类型

第4章简单类型化λ演算

第5章类型化λ演算模型

第6章命令式程序

第7章范畴和递归类型

第8章逻辑关系

第9章多态与模块性

第10章类型适应性和相关概念

第11章类型推理

参考文献

内容摘要:

"　　本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。　　本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章论述。本书最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。本书可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。"

书籍规格:

书籍详细信息
书名	程序设计语言理论基础站内查询相似图书
丛书名	国外计算机科学教材系列
	7121032244 如需购买下载《程序设计语言理论基础》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	53.0	语种	简体中文
尺寸	26	装帧	平装
页数		印数	5000

全网搜索试读资源

书籍信息归属:

程序设计语言理论基础是电子工业出版社于2006.10出版的中图分类号为 TP312 的主题关于程序语言－教材的书籍。