程序设计语言与编译—语言的设计与实现(第4版)电子书

第4版前言

上篇 程序设计语言的设计

第1章 绪论

1.1 引言

1.2 强制式语言

1.3 程序单元

1.4 程序设计语言发展简介

习题1

第2章 数据类型

2.1 引言

2.2 内部类型

2.3 用户定义类型

2.4 Pascal语言数据类型结构

2.5 Ada语言数据类型结构

2.6 C语言数据类型结构

2.7 Java 语言的数据类型

2.8 抽象数据类型

2.9 类型检查

2.10 类型转换

2.11 类型等价

2.12 实现模型

习题2

第3章 控制结构

3.1 引言

3.2 语句级控制结构

3.3 单元级控制结构

习题3

第4章 程序语言的设计

4.1 语言的定义

4.2 文法

4.3 语言的设计

4.4 语言设计实例

4.5 一些设计准则

习题4

下篇 程序设计语言的实现（编译）

第5章 编译概述

5.1 引言

5.2 翻译和编译

5.3 解释

5.4 编译步骤

习题5

第6章 词法分析

6.1 词法分析概述

6.2 单词符号的类别

6.3 词法分析器的输出形式

6.4 词法分析器的设计

6.5 符号表

6.6 Lex介绍

习题6

第7章 自上而下的语法分析

7.1 引言

7.2 回溯分析法

7.3 递归下降分析法

7.4 预测分析法

习题7

第8章 自下而上的语法分析

8.1 引言

8.2 算符优先分析法

8.3 LR分析法

8.4 Yacc介绍

习题8

第9章 语义分析和中间代码生成

9.1 语义分析概论

9.2 中间代码

9.3 语义变量和语义函数

9.4 说明语句的翻译

9.5 赋值语句的翻译

9.6 控制语句的翻译

习题9

第10章 代码优化和目标代码生成

10.1 局部优化

10.2 全局优化

10.3 并行优化

10.4 目标代码生成

习题10

第11章 运行时存储空间的组织

11.1 程序的存储空间

11.2 静态分配

11.3 栈式分配

11.4 参数传递

习题11

第12章 MINI语言编译器的设计与实现

12.1 MINI语言概述

12.2 MINI编译器概述

12.3 词法分析

12.4 语法分析

12.5 语义分析

12.6 运行时环境

12.7 代码生成

12.8 代码优化

12.9 MINI编译器的使用方法

12.10 进一步的工作

第13章 clang/LLVM编译器平台介绍

13.1 发展背景

13.2 clang架构

13.3 静态单赋值指令

13.4 代码转换过程

13.5 clang与GCC的比较

13.6 clang/LLVM特色

13.7 目录结构

附录A 形式语言与自动机简介

参考文献