《ALGOL60编译方法 上》

目录1

第一章 翻译程序1

1.1汇编语言和汇编程序2

1.2高级语言和编译程序5

1.3解释程序9

第二章 数据结构13

2.1数组（ARRAY）13

2.2栈（STACK）18

2.3排队（QUEUE）20

2.4表（LIST）22

3.2顺序查表法26

3.1引言26

第三章 查表技术26

3.3平分查表法27

3.4散列查表法29

3.5查表速度42

第四章 形式语言及其语法分析45

4.1形式语言45

4.2语法分析61

第五章 波兰式和四元式135

5.1波兰式135

5.2四元式142

6.1引言151

第六章 ALGOL单词翻译（Ⅰ）151

6.2单词机内符153

6.3单词的翻译方法159

6.4SCANER-1167

6.5单词翻译举例173

第七章 ALGOL语法分析176

7.1引言176

7.2语法图178

7.3SCANER-2186

7.4语法分析例197

7.5错误局部化202

7.6状态转换式的存放与实现方法206

第八章 ALGOL单词翻译（Ⅱ）212

8.1引言212

8.2标识符的局部化213

8.3单元分配219

8.4使用在前说明在后的处理223

8.5标号的处理231

8.6信息表232

8.7SCANER-3239

8.8单词翻译举例264

第九章 ALGOL句子翻译269

9.1引言269

9.2模型机277

9.3表达式的翻译283

9.4赋值语句的翻译317

9.5转向语句的翻译324

9.6条件语句的翻译330

9.7循环语句的翻译335

9.8过程语句的翻译348

9.9过程说明的翻译379

第十章 数组的动态分配及其它387

10.1数组的动态分配387

10.2标准过程及整型量的处理401

10.3块地址方法405

10.4调试语句408

参考文献412

目录415

第十一章 基本块上的优化415

11.1优化种类415

11.2基本块和四元式结构421

11.3常表达式节省438

11.4公共表达式节省447

第十二章 循环上的优化463

12.1不变表达式外提463

12.2削减运算强度472

12.3循环优化的一种方案479

13.1线性下标变量及其递归计算494

第十三章 下标变量优化494

13.2同类下标变量510

13.3下标变量信息表和循环信息表522

13.4变址器分配530

13.5INIT和INCR部分的生成算法539

第十四章 单元分配优化557

14.1临时变量的存贮分配557

14.2子程序的重叠分配565

14.3寄存器分配581

第十五章 控制流分析592

15.1有向图的基本概念592

15.2后继函数和连接矩阵的性质596

15.3最短路603

15.4路径关系611

15.5区间625

15.6强连区域640

15.7高阶图和图的归约651

第十六章 数据流分析658

16.1基本概念658

16.2求到达定义集Ri的方法664

16.3求活跃定义集Lij的方法690

16.4数据流分析程序——区间法698

16.5数据流分析技术的应用707