程序设计语言理论基础
作者：
[美] 米切尔
出版社： 电子工业出版社
原作名： Foundations for Programming Languages
出版年： 2006-11
页数： 563
定价： 68.00元
装帧： 简裝本
丛书： 国外计算机科学教材系列
ISBN： 9787121032240
出版社： 电子工业出版社
原作名： Foundations for Programming Languages
出版年： 2006-11
页数： 563
定价： 68.00元
装帧： 简裝本
丛书： 国外计算机科学教材系列
ISBN： 9787121032240
内容简介
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适...
目录
该书热门标签
- 最新
- 热门
-
0
弱爆了的Ramiel
2012-11-08
简单翻了一遍就还回去了，作者自己设计了一种类似于lambda表达式的语言来讲解，翻译较差。
-
0
弱爆了的Ramiel
2012-11-08
简单翻了一遍就还回去了，作者自己设计了一种类似于lambda表达式的语言来讲解，翻译较差。
我要写长评
书评
有什么“读后感”吗？您可点击右上角“我要写长评”来进行评价噢。
评价“程序设计语言理论基础”