杰弗里·伯恩 懒惰的函数语言：抽象解释和编译。 （英语） Zbl 0809.68079号 伦敦：皮特曼。马萨诸塞州剑桥：麻省理工学院出版社。第238页（1991年）。 抽象解释是迈克罗夫特首先流行的一种技术。这本书描述了它作为一种为惰性函数语言编译高效代码的方法的使用。这似乎是作者博士论文的延伸。第一章介绍了函数编程、作为函数程序评估方法的约简以及抽象解释。下一章定义了类型化lambda演算，并给出了它的操作语义和它的标准解释的指称语义。然后，这本书给出了这种lambda演算的抽象解释，包括允许为列表和二叉树导出严格性信息的解释。这种严格性信息用于确定哪些约简策略是安全的，因为它们保留了指称语义。给出了一种利用抽象解释信息从类型化lambda演算编译无脊椎G机器码的有效策略。本书以相关工作的讨论和一些观察结果作为结束。附录中包括了主要定理的证明和无脊椎机器的描述。这本书试图做到自足，只需要“相当程度的数学成熟度”。然而，函数编程和领域理论的介绍在很小的篇幅内涵盖了大量材料；如果事先没有这些主题的一些知识，那么理解这本书就会有困难。例如，使用curried表示法时没有解释，引入不动点来表示无动机的递归。我还发现，许多理论材料在引入之前动机不足，这增加了对一些先验知识的需要。材料的密度使这本书读得很慢。此外，我还发现了几个打字错误，其中一些可能会引起混淆。然而，每章末尾的“Drawing It Together”部分很好地总结了已经提出的重要概念。在过去几年中，抽象解释一直是一个活跃的研究领域，本书成功地将所学的大部分内容结合到了一个统一的框架中。当然，关于这种活跃研究的报告存在的问题是，所涵盖的一些材料可能会过时。这本书包含了大量的参考书目和公平的索引，但没有练习。总的来说，这本书是功能语言实现文献的重要补充。虽然我觉得它不适合一般观众，但我强烈建议对这个领域感兴趣的人使用它。 引用于7文件 理学硕士： 65年第68季度 形式语言和自动机 2002年8月 与计算机科学有关的研究展览会（专著、调查文章） 68N20型 编译与解释理论 关键词：惰性函数语言;类型lambda演算;函数式编程 PDF格式BibTeX公司 XML格式引用 \textit{G.Burn}，《懒惰的函数式语言：抽象解释和编译》。伦敦：皮特曼；马萨诸塞州剑桥：麻省理工学院出版社（1991；Zbl 0809.68079）