彼得·塞斯托夫特 [尼尔斯·哈伦伯格] 编程语言概念。尼尔斯·哈伦伯格的一章。第二版。 （英语） Zbl 1401.68006号 计算机科学本科专题查姆：施普林格（ISBN 978-3-319-60788-7/pbk；978-3-3169-60789-4/电子书）。第十五章，第341页。(2017). 出版商描述：本书使用函数式编程语言（F#）作为元语言来呈现所有概念和示例，因此具有操作性，可以进行实际实验和练习。它包括抽象语法、解释、堆栈机、编译、类型检查、垃圾收集和实际机器代码等基本概念。还包括了关于多态类型、使用统一的类型推断、协变和逆变类型、延续以及使用实时窥视孔优化的反向代码生成的更高级主题。第二版包括两个新章节。其中一个描述了完整函数式语言的编译和类型检查，将前面的章节联系在一起。另一个描述了如何将C子集编译为实际（x86）硬件，作为之前提供的编译器的平滑扩展。这些示例提供了一些玩具语言的解释器和编译器，包括C的一个小但可用的子集的编译器、抽象机器、垃圾收集器和ML类型多态类型推断。每章都有练习。编程语言概念涵盖了词法分析器和解析器的实际构造，但不包括正则表达式、自动机和语法，这些都已经很好地涵盖了。它讨论了Java和C#的设计和技术，以加强学生对这些广泛使用的语言的理解。 MSC公司： 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68甲15 编程语言理论 68甲18 函数编程和lambda演算 68N20型 编译与解释理论 关键词：编译器;口译员;类型检查;类型推断;延续;语言设计 软件：OCaml公司;F类#;单声道 PDF格式BibTeX公司 XML格式引用 \textit｛P.Sestoft｝，编程语言概念。尼尔斯·哈伦伯格的一章，第二版。查姆：斯普林格（2017；Zbl 1401.68006） 全文： 内政部