编程语言实现模式PDF电子书下载

第1部分 解析起步 1

第1章 语言应用初探 3

1.1 大局观 3

1.2 模式概览 5

1.3 深入浅出语言应用 9

1.4 为语言应用选择合适的模式 17

第2章 基本解析模式 21

2.1 识别式子的结构 22

2.2 构建递归下降语法解析器 24

2.3 使用文法DSL来构建语法解析器 26

2.4 词法单元和句子 27

模式一 从文法到递归下降识别器 29

模式二 LL（l）递归下降的词法解析器 34

模式三 LL（l）递归下降的语法解析器 38

模式四 LL（k）递归下降的语法解析器 43

第3章 高阶解析模式 49

3.1 利用任意多的向前看符号进行解析 50

3.2 记忆式解析 52

3.3 采用语义信息指导解析过程 52

模式五 回溯解析器 55

模式六 记忆解析器 62

模式七 谓词解析器 68

第2部分 分析语言 71

第4章 从语法树构建中间表示 73

4.1 为什么要构建树 75

4.2 构建抽象语法树 77

4.3 简要介绍ANTLR 84

4.4 使用ANTLR文法构建AST 86

模式八 解析树 90

模式九 同型AST 94

模式十 规范化异型AST 96

模式十一 不规则异型AST 99

第5章 遍历并改写树形结构 101

5.1 遍历树及访问顺序 102

5.2 封装访问节点的代码 105

5.3 根据文法自动生成访问者 107

5.4 将遍历与匹配解耦 110

模式十二 内嵌式遍历器 113

模式十三 外部访问者 116

模式十四 树文法 119

模式十五 模式匹配器 123

第6章 记录并识别程序中的符号 131

6.1 收集程序实体的信息 132

6.2 根据作用域划分符号 134

6.3 解析符号 139

模式十六 单作用域符号表 141

模式十七 嵌套作用域符号表 146

第7章 管理数据聚集的符号表 155

7.1 为结构体构建作用域树 156

7.2 为类构建作用域树 158

模式十八 数据聚集的符号表 161

模式十九 类的符号表 167

第8章 静态类型检查 181

模式二十 计算表达式类型 184

模式二十一 自动类型提升 193

模式二十二 检查类型安全 201

模式二十三 多态类型检查 208

第3部分 解释执行 217

第9章 构建高级解释器 219

9.1 高级解释器存储系统的设计 220

9.2 高级解释器中的符号记录 222

9.3 处理指令 224

模式二十四 语法制导解释器 225

模式二十五 基于树的解释器 230

第10章 构建字节码解释器 239

10.1 设计字节码解释器 241

10.2 定义汇编语言语法 243

10.3 字节码机器的架构 245

10.4 如何深入 250

模式二十六 字节码汇编器 252

模式二十七 栈解释器 259

模式二十八 寄存器解释器 267

第4部分 翻译和生成语言 277

第11章 语言的翻译 279

11.1 语法制导的翻译 281

11.2 基于规则的翻译 282

11.3 模型驱动的翻译 284

11.4 创建嵌套的输出模型 292

模式二十九 语法制导的翻译器 296

模式三十 基于规则的翻译器 302

模式三十一 特定目标的生成类 308

第12章 使用模板生成DSL 313

12.1 熟悉StringTemplate 314

12.2 StringTemplate的性质 317

12.3 从一个简单的输入模型生成模板 318

12.4 在输入模型不同的情况下复用模板 321

12.5 使用树文法来创建模板 324

12.6 对数据列表使用模板 331

12.7 编写可改变输出结果的翻译器 337

第13章 知识汇总 349

13.1 在蛋白质结构中查找模式 349

13.2 使用脚本构建三维场景 350

13.3 处理XML 351

13.4 读取通用的配置文件 353

13.5 对代码进行微调 354

13.6 为Java添加新的类型 355

13.7 美化源代码 356

13.8 编译为机器码 357

参考书目 359

索引 361