程序设计语言理论
￥ 25.25 7.9折 ￥ 32 九五品
仅1件
作者陈意云 著
出版社高等教育出版社
ISBN9787040155167
出版时间2004-09
版次1
装帧平装
开本16开
纸张胶版纸
页数339页
字数99999千字
定价32元
上书时间2024-05-30
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:程序设计语言理论
定价：32元
作者:陈意云 著
出版社：高等教育出版社
出版日期：2004-09-01
ISBN：9787040155167
字数：450000
页码：339
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
内容提要
本书给出分析程序设计语言语法性质、操作性质和语义性质的一个框架，该框架基于λ演算系统。全书围绕着λ演算的一个序列来组织，该序列中λ演算的类型系统依次变得越来越复杂，这些λ演算用来分析和讨论相应的程序设计语言概念，如多态性、抽象数据类型、子类型等。以类型系统为中心对程序设计语言进行的这种研究，在软件工程、语言设计、高性能编译器、计算机和网络安全等方面有着重要应用。 本书可作为高等院校计算机科学及相关专业的研究生教材，也可供计算机软件工程高级技术人员参考。
目录
章 引言 1.1 基本概念 1.1.1 模型语言 1.1.2 九表示法 1.1.3 记号和约定 1.2 等式、归约和语义 1.2.1 公理语义 1.2.2 操作语义 1.2.3 指称语义 1.3 类型和类型系统 1.3.1 类型和类型系统 1.3.2 类型语言的优点 1.4 归纳法 1.4.1 表达式上的归纳 1.4.2 证明上的归纳 1.4.3 良基归纳 习题第2章 可计算函数程序设计语言 2.1 引言 2.2 语法 2.2.1 概述 2.2.2 布尔值和自然数 2.2.3 二元组和函数 2.2.4 声明和语法美化 2.2.5 递归函数和不动点算子 2.2.6 语法总结和例子 2.3 程序和语义 2.3.1 程序和结果 2.3.2 公理语义 2.3.3 指称语义 2.3.4 操作语义 2.3.5 由各种形式的语义定义的等价关系 2.4 归约和符号解释器 2.4.1 归约的合流性 2.4.2 归约策略 2.4.3 左归约和惰性归约 2.4.4 并行归约 2.4.5 急切归约 2.5 程序设计实例、表达能力和局限 2.5.1 记录和n元组 2.5.2 查找自然数 2.5.3 迭代和尾递归 2.5.4 完全递归函数 2.5.5 部分递归函数 2.5.6 并行运算的不可定义性 2.6 衍生和扩充 2.6.1 单元类型与和类型 2.6.2 递归类型 习题第3章 泛代数和代数数据类型 3.1 引言 3.2 代数、基调和项 3.2.1 代数 3.2.2 代数项的语法 3.2.3 代数以及项在代数中的解释 ……第4章 简单化类型λ演算第5章 类型化λ演算的模型第6章 命令式程序第7章 多态性第8章 子定型及有关概念第9章 类型推断参考文献
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价