程序设计语言理论
暂无封面,等待上传

程序设计语言理论

陈意云, 编

出版社:高等教育出版社

年代:2004

定价:

书籍简介:

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

书籍规格:

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

书籍信息归属:

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