程序设计语言--原理与实践(第二版) 英文版

本书可用于计算机及其相关专业学生的双语教材，软件与理论专业研究生相关课程的参考书，也可供计算机专业人员参考。  

　　本书介绍了程序设计语言的一般概念，包括程序设计语言的语法和语义，涉及命令式语言、面向对象语言、函数式语言、逻辑式语言和并行语言等多种范例，分析了各种语言的设计原理和内在机制，讨论了语言的理论基础和实现时必须考虑的问题。
本书可用于计算机及其相关专业学生的双语教材，软件与理论专业研究生相关课程的参考书，也可供计算机专业人员参考。

第1章 引言 1 Introduction 第2章 历史 34 History 第3章 语言设计原理 55 Language Design Principles 第4章 语法 77 Syntax 第5章 基本语义 125 Basic Semantics 第6章 数据类型 189 Data Types 第7章 控制 Ⅰ——表达式和语句 260 Control Ⅰ——Expressions and Statements 第8章 控制 Ⅱ——过程和环境 309 Control Ⅱ——Procedures and Environments 第9章 抽象数据类型和模块 356 Abstract Data Types and Modules 第10章 面向对象的程序设计 409 Object-Oriented Programming 第11章 函数式程序设计 471 Functional Programming 第12章 逻辑式程序设计 539 Logic Programming 第13章 形式语义 579 Formal Semantics 第14章 并行程序设计 620 Parallel Programming 参考文献 673 Bibliography 索引 685 Index