具体描述
《程序设计语言:实践之路(第3版)》是一本很有特色的计算机教材，其核心是讨论程序设计语言的基本原理和技术。《程序设计语言:实践之路(第3版)》融合了传统的程序设计语言教科书和编译教科书的有关知识，并增加了一些有关汇编层体系结构的材料，以满足没学过计算机组织的学生们的需要。书中通过各种语言的例子，阐释了程序设计语言的重要基础概念，讨论了各种概念之间的关系，解释了语言中许多结构的形成和发展过程，以及它们演化为今天这种形式的根源。书中还详细讨论了编译器的工作方式和工作过程，说明它们对源程序做了什么，以及为什么要那样做。书的每章最后附有复习题和一些更具挑战性的练习与探索。这些练习的特别价值在于引导学生进一步深入理解各种语言和技术。《程序设计语言:实践之路(第3版)》第3版新增了关于运行时程序管理的讨论，对关于并发的一章做了重大的改写，并更新了大量的实例。
作者简介
目录信息
第1章 引言
1.1 语言设计的艺术
1.2 程序设计语言的谱系
1.3 为什么要研究程序设计语言？
1.4 编译和解释
1.5 程序设计环境
1.6 编译概览
1.6.1 词法和语法分析
1.6.2 语义分析和中间代码生成
1.6.3 目标代码生成
1.6.4 代码改进
1.7 总结和注记
1.8 练习
1.9 探索
1.10 有关参考文献
第2章 程序设计语言的语法
2.1 描述语法：正则表达式和上下文无关文法
2.1.1 单词和正则表达式
2.1.2 上下文无关文法
2.1.3 推导和语法分析树
2.2 扫描
2.2.1 生成一个有穷自动机
2.2.2 扫描器代码
2.2.3 表格驱动的扫描
2.2.4 词法错误
2.2.5 编译指示
2.3 语法分析
2.3.1 递归下降
2.3.2 表格驱动的自上而下语法分析
2.3.3 自下而上的语法分析
2.3.4 语法错误
2.4 理论基础
2.4.1 有穷自动机 13
2.4.2 下推自动机 18
2.4.3 文法和语言类 19
2.5 总结和注记
2.6 练习
2.7 探索
2.8 有关参考文献
第3章 名字、作用域和约束
3.1 约束时间的概念
3.2 对象生存期和存储管理
3.2.1 静态分配
3.2.2 基于栈的分配
3.2.3 基于堆的分配
3.2.4 废料收集
3.3 作用域规则
3.3.1 静态作用域
3.3.2 嵌套子程序
3.3.3 声明的顺序
3.3.4 模块
3.3.5 模块类型和类
3.3.6 动态作用域
3.4 作用域的实现
3.4.1 符号表
3.4.2 关联表和中心引用表
3.5 作用域中名字的含义
3.5.1 别名
3.5.2 重载
3.5.3 多态性及相关概念
3.6 引用环境的约束
3.6.1 子程序闭包
3.6.2 一级值和非受限生存期
3.6.3 对象闭包
3.7 宏扩展
3.8 分别编译
3.8.1 C的分别编译
3.8.2 包和自动头文件推理
3.8.3 模块分层结构
3.9 总结和注记
3.10 练习
3.11 探索
3.12 有关参考文献
第4章 语义分析
4.1 语义分析器所扮演的角色
4.2 属性文法
4.3 属性求值
4.4 动作例程
4.5 属性的空间管理
4.5.1 自下而上求值
4.5.2 自上而下求值
4.6 语法树的标注
4.7 总结和注记
4.8 练习
4.9 探索
4.10 有关参考文献
第5章 目标机体系结构
5.1 存储器层次结构
5.2 数据表示
5.2.1 整数算术
5.2.2 浮点数算术
5.3 指令集体系结构
5.3.1 寻址模式
5.3.2 条件和分支
5.4 体系结构和实现
5.4.1 微程序设计
5.4.2 微处理器
5.4.3 RISC
5.4.4 多线程和多核
5.4.5 两个示例体系结构：x86和MIPS
5.5 为新型处理器做编译
5.5.1 保持流水线满
5.5.2 寄存器分配
5.6 总结和注记
5.7 练习
5.8 探索
5.9 有关参考文献
第2部分 语言设计的核心问题
第6章 控制流
6.1 表达式求值
6.1.1 优先级和结合性
6.1.2 赋值
6.1.3 初始化
6.1.4 表达式中的顺序问题
6.1.5 短路求值
6.2 结构化和非结构化的流程
6.2.1 goto的结构化替代品
6.2.2 继续
6.3 顺序执行
6.4 选择
6.4.1 短路条件
6.4.2 Case/Switch语句
6.5 迭代
6.5.1 枚举控制的循环
6.5.2 组合循环
6.5.3 迭代器
6.5.4 lcon的生成器
6.5.5 逻辑控制的循环
6.6 递归
6.6.1 迭代和递归
6.6.2 应用序和正则序求值
6.7 非确定性
6.8 总结和注记
6.9 练习
6.10 探索
6.11 有关参考文献
第7章 数据类型
7.1 类型系统
7.1.1 类型检查
7.1.2 多态性
7.1.3 “类型”的含义
7.1.4 类型的分类
7.1.5 正交性
7.2 类型检查
7.2.1 类型等价
7.2.2 类型相容性
7.2.3 类型推理
7.2.4 ML类型系统
7.3 记录（结构）与变体（联合）
7.3.1 语法和运算
7.3.2 存储布局及其影响
7.33 with语句
7.3.4 变体记录（联合）
7.4 数组
7.4.1 语法和操作
7.4.2 维数、上下界和分配
7.4.3 内存布局
7.5 字符串
7.6 集合
7.7 指针和递归类型
7.7.1 语法和操作
7.7.2 悬空引用
7.7.3 废料收集
7.8 表
7.9 文件和输入/输出
7.9.1 交互式I/O
7.9.2 基于文件的I/O
7.9.3 正文I/O
7.10 相等检测和赋值
7.11 总结和注记
7.12 练习
7.13 探索
7.14 有关参考文献
第8章 子程序和控制抽象
8.1 回顾栈的布局
8.2 调用序列
8.2.1 区头向量
8.2.2 案例研究：在MIPS上实现C，在x86上实现Pascal
8.2.3 寄存器窗口
8.2.4 内联展开
8.3 参数传递
8.3.1 参数模式
8.3.2 名字调用
8.3.3 特殊目的的参数
8.3.4 函数返回
8.4 泛型子程序和模块
8.4.1 不同的实现方法
8.4.2 泛型参数的约束条件
8.4.3 隐式实例化
8.4.4 C++、Java和C#中的泛型
8.5 异常处理
8.5.1 异常的定义
8.5.2 异常的传播
8.5.3 异常的实现
8.6 协作程序
8.6.1 栈分配
8.6.2 转移
8.6.3 迭代器的实现
8.6.4 离散事件模拟
8.7 事件
8.7.1 顺序处理程序
8.7.2 基于线程的处理程序
4.8 总结和注记
8.9 练习
8.10 探索
8.11 有关参考文献
第9章 数据抽象和面向对象
9.1 面向对象程序设计
9.2 封装和继承
9.2.1 模块
9.2.2 类
9.2.3 嵌套（内层类）
9.2.4 类型扩展
9.2.5 不使用继承扩展
9.3 初始化和终结处理
9.3.1 构造函数的选择
9.3.2 引用和值
9.3.3 执行顺序
9.3.4 废料收集
9.4 动态方法约束
9.4.1 虚方法和非虚方法
9.4.2 抽象类
9.4.3 成员查找
9.4.4 多态性
9.4.5 对象闭包
9.5 多重继承
9.5.1 语义歧义性
9.5.2 复本式继承
9.5.3 共享继承
9.5.4 混入式继承
9.6 重温面向对象的程序设计
9.6.1 Smalltalk的对象模型
9.7 总结和注记
9.8 练习
9.9 探索
9.10 有关参考文献
第3部分 其他程序设计模型
第10章 函数式语言
10.1 历史渊源
10.2 函数式程序设计的概念
10.3 Scheme回顾/简介
10.3.1 约束
10.3.2 表和数
10.3.3 相等检测和检索
10.3.4 控制流和赋值
10.3.5 程序作为表
10.3.6 一个扩展的实例：DFA模拟
10.4 重温求值顺序
10.4.1 严格求值和惰性求值
10.4.2 I/O：流和单体
10.5 高阶函数
10.6 理论基础
10.6.1 lambda 演算
10.6.2 控制流
10.6.3 结构
10.7 函数式程序设计展望
10.8 总结和注记
10.9 练习
10.10 探索
10.11 有关参考文献
第11章 逻辑式语言
11.1 逻辑式程序设计的概念
11.2 Prolog
11.2.1 归结和合一
11.2.2 表
11.2.3 算术
11.2.4 搜索/执行顺序
11.2.5 一个较大的实例：九宫棋
11.2.6 命令式控制流
11.3 理论基础
11.3.1 子句形式
11.3.2 局限性
11.3.3 Skolem
11.4 逻辑式程序设计的展望
11.4.1 没有覆盖的逻辑部分
11.4.2 执行顺序
11.4.3 否定和“闭世界”假设
11.5 总结和注记
11.6 练习
11.7 探索
11.8 有关参考文献
第12章 并发
12.1 基础和动力
12.1.1 多线程程序的各种情况
12.1.2 多处理器体系结构
12.2 并发程序设计基础
12.2.1 通信和同步
12.2.2 语言和库
12.2.3 创建线程的语法
12.2.4 线程的实现
12.3 实现
12.3.1 忙等待同步
12.3.2 非阻塞算法
12.3.3 内存一致模型
12.3.4 调度器的实现
12.3.5 信号量
12.4 语言级机制
12.4.1 管程
12.4.2 条件临界区域
12.4.3 Java中的同步
12.4.4 事务存储
12.4.5 隐式同步
12.5 消息传递
12.5.1 通信对方的命名
12.5.2 发送
12.5.3 接收
12.5.4 远程过程调用
12.6 总结和注记
12.7 练习
12.8 探索
12.9 有关参考文献
第13章 脚本语言
13.1 什么是脚本语言？
13.1.1 公共特性
13.2 问题领域
13.2.1 外壳（命令）语言
13.2.2 文字处理和报表生成
13.2.3 数学和统计
13.2.4 “粘结”语言和通用脚本
13.2.5 扩充语言
13.3 万维网脚本
13.3.1 CGI脚本
13.3.2 嵌入式服务器端脚本
13.3.3 客户端脚本
13.3.4 Java小程序
13.3.5 XSLT
13.4 新特征
13.4.1 名字和作用域
13.4.2 串和模式匹配
13.4.3 数据类型
13.4.4 面向对象
13.5 总结和注记
13.6 练习
13.7 探索
13.8 有关参考文献
第4部分 对实现的近距离考查
第14章 构造可运行的程序
14.1 后端编译器结构
14.1.1 一种可行的多阶段组织
14.1.2 阶段和遍
14.2 中间形式
14.2.1 Diana
14.2.2 gcc中间形式
14.2.3 基于栈的中间形式
14.3 代码生成
14.3.1 一个属性文法实例
14.3.2 寄存器分配
14.4 地址空间组织
14.5 汇编
14.5.1 指令发射
14.5.2 为名字指定地址
14.6 连接
14.6.1 重定位和名字解析
14.6.2 类型检查
14.7 动态连接
14.7.1 与定位无关的代码
14.7.2 完全动态连接（惰性连接）
14.8 总结和注记
14.9 练习
14.10 探索
14.11 有关参考文献
第15章 运行时程序管理
15.1 虚拟机
15.1.1 Java虚拟机
15.1.2 公共语言基础架构
15.2 机器码的迟绑定
15.2.1 即时和动态编译
15.2.2 二进制翻译
15.2.3 二进制重写
15.2.4 移动代码和沙箱
15.3 审查/自反
15.3.1 自反
15.3.2 符号调试
15.3.3 性能分析
15.4 总结和注记
15.5 练习
15.6 探索
15.7 有关参考文献
第16章 代码改进
16.1 代码改进的阶段
16.2 窥孔优化
16.3 基本块内的冗余删除
16.3.1 一直使用的实例
16.3.2 值编号
16.4 全局冗余删除和数据流分析
16.4.1 SSA（静态单赋值）形式和全局值编号
16.4.2 全局公共子表达式删除
16.5 循环改进I
16.5.1 循环不变量
16.5.2 归纳变量
16.6 指令调度
16.7 循环改进II
16.7.1 循环展开和软件流水线
16.7.2 循环重排
16.8 寄存器分配
16.9 总结和注记
16.10 练习
16.11 探索
16.12 有关参考文献
附录A 本书中提到的程序设计语言
附录B 语言设计和语言实现
附录C 编号示表
· · · · · · (收起)
读后感
推荐读者“云从龙”的评论 =========== 原版的《程序设计语言——实践之路（第2版）》真的很不错，当然翻译版也很用心，值得向朋友们推荐。 一句话，对于那些有兴趣了解程序设计语言的基本设计与功能的软件工程师而言，这是一本入门的好书。特别有助于深入了解某一...
推荐读者“云从龙”的评论 =========== 原版的《程序设计语言——实践之路（第2版）》真的很不错，当然翻译版也很用心，值得向朋友们推荐。 一句话，对于那些有兴趣了解程序设计语言的基本设计与功能的软件工程师而言，这是一本入门的好书。特别有助于深入了解某一...
不知道是翻译问题还是出版社的问题，随便看了几章，发现很多语句不通的地方。 例如p527"下面我们使用Haskell的标准IO单体重新上面的例子"，这句话的本意估计是"下面使用Haskell的标准IO单体重写上面的例子"。这样的例子还有很多。 第一版、第二版翻译的都很好，按理说这版不会...
第三版的翻译确实有比较大的问题，特别是相对第二版新增的部分，很多地方语句不通顺，晦涩难懂。 两位译者也都木有听说过，可能是我孤陋寡闻了吧。。。 个人认为原版英文书应该是比较经典的深入了解程序设计语言的设计和实现的资料，译成这样着实有些可惜了。希望若有之后的版...
用户评价
这本书的叙述方式简直是为初学者量身定做的，它没有上来就堆砌那些晦涩难懂的专业术语，而是通过一系列非常贴近日常生活的比喻和例子，将编程的核心概念一点点渗透进来。我记得作者在解释“变量”的时候，用了整理衣橱的概念，一下子就明白了数据在内存中的存储和调用是多么直观的一回事。对于我这种之前对计算机科学一窍不通的人来说，这种循序渐进的引导简直是救星。它不像有些教材那样，仿佛默认你已经拥有了某种先验知识，读起来总是提心吊胆，生怕错过哪个关键节点就全盘皆懵。这本书的优点在于，它真正站在读者的角度去思考“如何才能让一个完全不懂的人也能理解？”。它的章节编排也很有章法，每学完一个模块，都会有一个小小的“实战演练”，虽然只是简单的代码片段，但那种亲手构建出一些微小事物的成就感，是纯理论阅读无法比拟的。而且，书中对于不同编程范式的介绍也处理得非常巧妙，没有强行推崇某一种，而是客观地展示了它们的优势和适用场景，这让我对整个编程世界的图景有了更全面的认识，而不是只盯着一个角落猛钻。
这本书的深度和广度，足以让一个有一定基础的开发者感到惊喜。我原以为这只是本入门读物，但翻阅到后面关于编译器设计和底层内存管理的章节时，我不得不停下来仔细揣摩。作者对抽象层次的控制能力令人惊叹，他能在保持清晰度的前提下，深入到机器码和操作系统交互的层面进行探讨。尤其是关于垃圾回收机制的那几页，他不仅描述了常见的算法，还分析了在不同硬件架构下，这些算法的性能瓶颈和优化方向，这已经超出了普通“编程指南”的范畴，更像是一本高级主题的精炼讲义。更难能可贵的是，作者的论述总是带着一种批判性的眼光，他不会盲目地接受既定的理论，而是会引导读者去思考“为什么会是这样？”以及“有没有更好的实现方式？”。这种探究精神，是真正推动技术进步的源泉。读完这部分内容，我感觉自己对编写高效、健壮的代码有了更深层次的理解，不再满足于仅仅让程序“跑起来”，而是开始追求“跑得优雅”。
这本书对于“跨领域思维”的培养起到了意想不到的促进作用。我注意到，作者在讨论某些算法的效率时，会不经意地引入物理学中的熵增定律，或者在阐述并发控制时，会引用社会学中的博弈论模型。这说明作者的知识体系非常广博，他没有将编程语言视为一个孤立的学科，而是将其置于一个更宏大的科学和工程背景之下进行考察。这对我启发很大，我开始尝试用非计算机领域的思维模型去审视我日常遇到的编程难题。例如，在处理一个性能瓶颈时，我尝试用“资源分配的经济学原理”来重新设计模块间的调用顺序，竟然收到了奇效。这本书的价值远超于教会你如何编写特定语言的代码，它是在训练你的“问题解决思维框架”。它鼓励你去打破学科壁垒，去寻找不同领域知识之间的底层共性，这对于一个追求技术深度的人来说，是无价的财富。
从语言风格的角度来看，这本书的作者绝对是一位拥有独特魅力的“说书人”。他的笔触时而严谨得如同法律条文，精确到每一个逻辑判断的边界；但下一秒，他又会变得幽默风趣，用一句俏皮话来点醒一个困扰读者许久的概念。我尤其喜欢他时不时插入的那些关于编程历史的“小插曲”，比如某个著名语言的诞生背景，或者某个设计决策背后的哲学争论。这些故事性的内容，让原本冰冷的技术文档立刻变得有血有肉，充满了人文关怀。它让我意识到，技术的发展从来都不是一条直线，而是充满了妥协、争吵和灵光乍现的产物。这种叙事上的张弛有度，使得即便是面对像“类型系统”这样容易让人打瞌睡的话题，也能保持高度的专注力。它读起来更像是和一位经验极其丰富的导师进行深入的下午茶对话，而不是在应付一本枯燥的参考书。
装帧和排版方面，这本书的处理简直是教科书级别的典范。在这个充斥着廉价纸张和模糊印刷的时代，拿到这本实体书，手感就立刻让人心情愉悦。纸张的选取恰到好处，既不会反光到刺眼，又足够结实耐用，可以经受住反复翻阅和标记的考验。最让我称赞的是代码区块的格式化。在涉及大量代码示例时，作者团队采用了非常清晰的配色方案和恰当的行距，即便是复杂的多层嵌套结构，也能一眼看出逻辑层次，极大地降低了阅读疲劳感。很多技术书籍在代码的可读性上做得非常糟糕，但这本书显然在这方面投入了大量的精力。此外，书中插图和图表的质量也非常高，它们不是那种随意拉伸或模糊不清的示意图，而是精心绘制的流程图和架构图，每一条箭头、每一个方框都有其明确的意义。这些视觉辅助工具，配合文字的讲解，使得那些原本需要花费大量时间在脑海中构建的复杂概念，瞬间变得清晰明了。
断货的书，淘宝上买的盗版， 知识面非常广，讲述了各种编程语言特性的演化之路
这种翻译实在读不下去
拜读过第一版，看看新版的并行、VM、运行时环境
原书Programming Language Pragmatics, Third Edition的评分是9.1……可见中文翻译还是挺糟糕的……前面部分章节看得比较仔细，基本理解了乔姆斯基文法，以及自举自集自复制自指自证，其他的LL，LR，first，follow算是回顾和验证之前的理解，总而言之还是收获不少。
这种翻译实在读不下去
