函数程序设计语言--计算机模型、编译技术、系统结构

函数程序设计语言--计算机模型、编译技术、系统结构 pdf epub mobi txt 电子书 下载 2025

郑纬民 男,1946年生,浙江宁波人。1970年毕业于清华大学自

动控制系并留校任教。1982年在清华大学计算机系获硕士学位。现为清

华大学计算机系教授、博士生导师。1985年至1986年曾在纽纸头州立大

学石溪分校从事分布操作系统研究。1989年至1991年曾在英国南安普

敦大学参加函数语言并行编译系统的研究。

郑纬民多年来一直从事并行处理与分布计算机系统、面向AI体系结构以及说明性语

言的编译方法和程序开发环境等教学和研究工作,取得了―系列成果。近几年来,参加或

负责的国家攻关、863计划和自然科学基金项目有“THUDS分布计算机”、“并行图归

纳智能工作站”、“军用软件开发新技术”、“可扩展并行机群系统”等10余项。研究成

果达到了国际先进水平或国内领先水平,多次获得国家教委科技进步奖。近几年来,在国

内外学术刊物和学术会议上发表论文80余篇。著作有《计算机系统结构)和《函数语言

及其实现技术》等

出版者:清华大学出版社
作者:郑纬民
出品人:
页数:261
译者:
出版时间:1997-11
价格:20.00
装帧:平装
isbn号码:9787302022343
丛书系列:
图书标签:
  • functional 
  • 计算机科学 
  • 编程语言 
  • programming 
  • 编程 
  • 编译&体系结构 
  • 程序设计 
  • 没有卖了,有二手转让吗? 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

内容简介

本书详细论述了函数程序设计语言的计算模型、编译技术以及面向函数程序设计语言的系统结构。其

主要内容包括:函数程序设计语言,λ演算,函数语言的归约计算方法,函数语言的图重写计算模型,图重

写计算模型描述语言CIL,多态类型及类型检查,自由变量的清除与优化组合子,惰性模式匹配及编译方

法,严格性分析方法,编译时粒度分析及估算方法,存储管理及垃圾单元回收,多机并行图重写执行模型

HPGREM,并行抽象机PAM/TGR及体系结构等。

本书适合于从事计算机系统结构、信息处理、并行处理技术研究的科技人员阅读,也可作为计算机等

专业的研究生和高年级本科生的教材和教学参考书。

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有