彼得·塞斯托夫特 [尼尔斯·哈伦伯格] 编程语言概念。尼尔斯·哈伦伯格的一章。第二版。 (英语) 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) 全文: 内政部