扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
程序设计语言理论 版权信息
- ISBN:7040155168
- 条形码:9787040155167 ; 978-7-04-015516-7
- 装帧:简裝本
- 册数:暂无
- 重量:暂无
- 所属分类:>>
程序设计语言理论 内容简介
本书以类型为中心,对程序设计语言进行的这种研究,在软件工程、语言设计、高性能编译器、计算机和网络安全等方面有着重要应用。
程序设计语言理论 目录
第1章 引言 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章 类型推断参考文献
展开全部
书友推荐
本类畅销
-
C和指针
¥69.3¥99 -
新编C语言习题与解析
¥48.3¥69 -
C程序设计-(第五版)
¥19.1¥39 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158