阿尔贝托·德拉·恩西纳;路易斯·拉纳;费尔南多·鲁比奥 将调试功能引入自然语义。 （英语） Zbl 1185.68204号 Virbitskaite，Irina（编辑）等人，《系统信息学的观点》。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。柏林：施普林格出版社（ISBN 978-3-540-70880-3/pbk）。计算机科学课堂讲稿4378195-208（2007）。 摘要：推理函数式程序比推理命令式程序更简单。然而，直到最近，在懒惰函数式语言中查找bug才变得更加复杂。原因是在开发实用调试器方面没有做太多工作。幸运的是，现在有几个调试器。Haskell调试器中最容易使用的一个是Hood，其行为基于中间数据结构的观察概念。然而，尽管在观察某些结构时使用Hood可能很简单，但众所周知，在处理复杂情况时可能很难理解它是如何工作的。本文通过扩展Sestoft的自然语义来形式化Hood调试器的行为。此外，我们还说明了如何派生包含此类调试信息的抽象机器。通过这样做，我们不仅提供了一个正式的基础，而且还提供了一种实现调试器的替代方法。事实上，我们已经实现了本文中提到的抽象机器的原型。关于整个系列，请参见[Zbl 1179.68007号]. MSC公司： 68甲18 函数编程和lambda演算 68问题55 计算理论中的语义学 关键词：函数式编程;调试;语义学 软件：罩;帽子;芙蕾雅 PDF格式BibTeX公司 XML格式引用 \textit{A.de la Encina}等人，Lect。注释计算。科学。4378，195--208（2007；Zbl 1185.68204） 全文： 内政部