程式语言基本原理PDF电子书下载

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

1.1 历史与动机 1

1.2 虚拟码的设计 6

1.3 实施 16

1.4 评估与结论 29

习题 30

2．效率的强调：FORTRAN 33

2.1 历史与动机 33

2.2 设计：结构化组织 35

2.3 设计：控制结构 41

2.4 设计：资料结构 69

2.5 设计：名称结构 82

2.6 设计：语法结构 96

2.7 评估与结论 103

习题 105

3．高雅与一般性：ALGOL-60 107

3.1 历史与动机 107

3.2 设计：结构化组织 110

3.3 设计：名称结构 115

3.4 设计：资料结构 131

3.5 设计：控制结构 139

习题 166

4．语法问题：ALGOL-60 169

4.1 设计：语法结构 169

4.2 工具：BNF 176

4.3 评估与结论 189

习题 192

5．返回至单纯性：PASCAL 195

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．模组性与资料摘要性：ADA 289

7.2 设计：结构化组织 292

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

7.4 设计：名称结构 307

习题 339

8．程序与同作：ADA 341

8.1 设计：控制结构 341

8.2 设计：语法结构 363

8.3 评估与结论 368

习题 370

9.1 历史与动机 371

9．串列处理：LISP 371

9.2 设计：结构化组织 375

9.3 设计：资料结构 384

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

10.1 设计：控制结构 425

10.2 设计：名称结构 460

10.3 设计：语法结构 471

习题 474

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

11.1 递回解译器 475

11.2 储存的再利用 495

11.3 评估与结论 503

习题 507

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

12.1 历史与动机 509

12.2 设计：结构化组织 511

12.3 设计：类与子类 522

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

12.5 实施：类与目标 544

12.6 评估与结论 555

习题 557

13.1 历史与动机 559

13．逻辑程式设计：PROLOG 559

13.2 设计：结构化组织 562

13.3 设计：资料结构 567

13.4 设计：控制结构 574

13.5 评估与结论 585

习题 587

14．程式语言设计原则 589

14.1 概论 589

14.2 原则 592

习题 594

索引 595