《程式语言基本原理》

1．起步：虚拟码解译器1

1.1历史与动机1

1.2 虚拟码的设计6

1.3 实施16

1.4 评估与结论29

习题30

2．效率的强调：FORTRAN33

2.1历史与动机33

2.2 设计：结构化组织35

2.3 设计：控制结构41

2.4 设计：资料结构69

2.5 设计：名称结构82

2.6 设计：语法结构96

2.7 评估与结论103

习题105

3．高雅与一般性：ALGOL-60107

3.1历史与动机107

3.2 设计：结构化组织110

3.3 设计：名称结构115

3.4 设计：资料结构131

3.5 设计：控制结构139

习题166

4．语法问题：ALGOL-60169

4.1设计：语法结构169

4.2 工具：BNF176

4.3 评估与结论189

习题192

5．返回至单纯性：PASCAL195

5.1历史与动机195

5.2 设计：结构化组织200

5.3 设计：资料结构202

5.4 设计：名称结构229

5.5 设计：控制结构234

5.6 评估与结论245

习题246

6．方块结构语言的实施249

6.1启动录及上下文249

6.2 程序呼叫及返回258

6.3 显示274

6.4 方块280

6.5 摘要285

习题287

7.1 历史与动机289

7．模组性与资料摘要性：ADA289

7.2设计：结构化组织292

7.3 设计：资料结构与类型295

7.4 设计：名称结构307

习题339

8．程序与同作：ADA341

8.1设计：控制结构341

8.2 设计：语法结构363

8.3 评估与结论368

习题370

9.1 历史与动机371

9．串列处理：LISP371

9.2设计：结构化组织375

9.3 设计：资料结构384

10．价值导向的程式设计：LISP425

10.1设计：控制结构425

10.2 设计：名称结构460

10.3 设计：语法结构471

习题474

11．递回串列处理器之实施：LISP475

11.1递回解译器475

11.2 储存的再利用495

11.3 评估与结论503

习题507

12．目标导向的程式设计：SMALLTALK509

12.1历史与动机509

12.2 设计：结构化组织511

12.3 设计：类与子类522

12.4 设计：目标与讯息的传送533

12.5 实施：类与目标544

12.6 评估与结论555

习题557

13.1 历史与动机559

13．逻辑程式设计：PROLOG559

13.2设计：结构化组织562

13.3 设计：资料结构567

13.4 设计：控制结构574

13.5 评估与结论585

习题587

14．程式语言设计原则589

14.1概论589

14.2 原则592

习题594

索引595