| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787302022343 |
| 所属分类：图书>计算机/网络>企业软件开发与实施 |
商品详情
书名函数程序设计语言计算机模型、编译技术、系统结构
定
作者郑纬民
出版社：清华大学出版社
出版日期
字数：
页码：
版次：
装帧：平装
开本：其他
商品重量：内容简介
内容简介
本书详细论述了函数程序设计语言的计算模型、编译技术以及面向函数程序设计语言的系统结构。其
主要内容包括：函数程序设计语言，λ演算，函数语言的归约计算方法，函数语言的图重写计算模型，图重
写计算模型描述语言，多态类型及类型检查，自由变量的清除与优化组合子，惰性模式匹配及编译方
法，严格性分析方法，编译时粒度分析及估算方法，存储管理及垃圾单元回收，多机并行图重写执行模型
，并行抽象机及体系结构等。
本书适合于从事计算机系统结构、信息处理、并行处理技术研究的科技人员阅读
书名函数程序设计语言计算机模型、编译技术、系统结构
定
作者郑纬民
出版社：清华大学出版社
出版日期
字数：
页码：
版次：
装帧：平装
开本：其他
商品重量：内容简介
内容简介
本书详细论述了函数程序设计语言的计算模型、编译技术以及面向函数程序设计语言的系统结构。其
主要内容包括：函数程序设计语言，λ演算，函数语言的归约计算方法，函数语言的图重写计算模型，图重
写计算模型描述语言，多态类型及类型检查，自由变量的清除与优化组合子，惰性模式匹配及编译方
法，严格性分析方法，编译时粒度分析及估算方法，存储管理及垃圾单元回收，多机并行图重写执行模型
，并行抽象机及体系结构等。
本书适合于从事计算机系统结构、信息处理、并行处理技术研究的科技人员阅读