实用编程语言理论基础 原书第2版
正版新书 新华官方库房直发 可开电子发票
￥ 87.57 6.3折 ￥ 139 全新
库存11件
作者(美)罗伯特·哈珀
出版社机械工业出版社
ISBN9787111697404
出版时间2022-03
版次1
装帧平装
开本16开
纸张胶版纸
页数400页
定价139元
货号SC:9787111697404
上书时间2024-11-02
- 在售商品 暂无
- 平均发货时间 15小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念广泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证，具有较高的实用性。
本书不仅可以作为高等学校计算机相关专业的编程语言理论课程教材，也可供相关领域的科研人员和技术人员参考阅读。
目录:
译者序
第2版前言
第1版前言
第一部分 判断和规则
第1章 抽象语法
1.1 抽象语法树
1.2 抽象绑定树
1.3 注记
习题
第2章 归纳定义
2.1 判断
2.2 推理规则
2.3 推导
2.4 规则归纳
2.5 迭代归纳定义和联立归纳定义
2.6 用规则定义函数
2.7 注记
习题
第3章 假言判断与一般性判断
3.1 假言判断
3.1.1 可导性
3.1.2 可纳性
3.2 假言归纳定义
3.3 一般性判断
3.4 泛型归纳定义
3.5 注记
习题
第二部分 静态语义和动态语义
第4章 静态语义
4.1 语法
4.2 类型系统
4.3 结构性质
4.4 注记
习题
第5章 动态语义
5.1 转换系统
5.2 结构化动态语义
5.3 上下文动态语义
5.4 等式动态语义
5.5 注记
习题
第6章 类型安全
6.1 保持性
6.2 进展性
6.3 运行时错误
6.4 注记
习题
第7章 求值动态语义
7.1 求值动态语义
7.2 结构化动态语义和求值动态语义
的关系
7.3 重温类型安全
7.4 成本动态语义
7.5 注记
习题
...
— 没有更多了 —
以下为对购买帮助不大的评价