- 礼品简介
| 礼品名称： | 程序设计语言理论基础 |
| 礼 品 号： | 969 |
| 礼品积分： | 13000 |
| 礼品库存： | 1件 |
| 预定数量： | 件 |
礼品介绍
| 礼品概述 | 本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章论述。本书最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。 |
| 作 译 者 | 许满武等译 |
| 出 版 社 | 电子工业出版社 |
| 出版日期 | 2006-11-01 |
| 定 价 | 68.00元 |
| ＩＳＢＮ | 7-121-03224-4 |
