这本教科书全面、最新地介绍了指导现代编程语言的设计和实现的原理和技术。

本书的目标是为批判性理解大多数现代编程语言提供基础。因此，本书并没有关注特定的语言，而是确定了大类语言所共享的最重要的原则。“抽象机器”的概念是一个统一的概念，有助于保持准确和基本的处理。本书介绍、深入分析和比较了命令式、面向对象、函数式、逻辑式、并发式、基于约束和面向服务的编程范式。来自第一个英文版的所有材料都已更新和扩展，澄清了一些棘手的问题，并讨论了较新的编程语言。第二版包含专门讨论约束、并发和面向服务编程的新章节。

主题和特点：

• 需要熟悉一种编程语言是先决条件
• 提供了关于历史的一章，为当今使用的大多数结构提供了背景
• 提出了语义方法和可计算性的基本说明
• 引入 Python 或 Scala 等现代编程语言的新示例
• 提供了一个章节，开启了人工智能应用的视角

这本独特的书被视为大学教科书，也适合想要加深对所使用语言背后机制的了解的 IT 专家。主题的选择和演示风格在很大程度上受到计算机科学学士学位内容教学经验的影响。