计算模型、编译技术、系统结构
作者: 郑纬民等编著
出版社:清华大学出版社,1997
简介: 内容简介
本书详细论述了函数程序设计语言的计算模型、编译技术以及面向函数程序设计语言的系统结构。其
主要内容包括:函数程序设计语言,λ演算,函数语言的归约计算方法,函数语言的图重写计算模型,图重
写计算模型描述语言CIL,多态类型及类型检查,自由变量的清除与优化组合子,惰性模式匹配及编译方
法,严格性分析方法,编译时粒度分析及估算方法,存储管理及垃圾单元回收,多机并行图重写执行模型
HPGREM,并行抽象机PAM/TGR及体系结构等。
本书适合于从事计算机系统结构、信息处理、并行处理技术研究的科技人员阅读,也可作为计算机等
专业的研究生和高年级本科生的教材和教学参考书。