书籍简介:

本书为研究生系列教材之一。本书基于一个叫做λ演算的数学系统，而不是特定程序设计语言来分析程序设计语言的语法性质、操作性质和语义性质。全书强调顺序语言，但是其中许多概念和技术可以应用到并行程序设计语言，为了让读者把精力主要放在对概念的理解上，本书略去了很多定理的烦琐证明。全书共9章，主要内容包括：引言，可计算函数程序设计语言，泛代数和代数数据类型，简单类型化λ演算，类型化λ演算的模型，命令式程序，多态性，子定型及有关概念，类型推断。

书籍规格:

书籍详细信息
书名	程序设计语言理论站内查询相似图书
	9787040155167 如需购买下载《程序设计语言理论》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	高等教育出版社
版次	1版	印次	1
定价(元)		语种	简体中文
尺寸	24	装帧	平装
页数		印数	4000

全网搜索试读资源

书籍信息归属:

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