德拉恩西纳，A。;L·拉纳。;F.鲁比奥。 基于自然语义的调试系统。 （英语） Zbl 1217.68051号 加州大学洛杉矶分校 15，第14号，2836-2880（2009）. 摘要：由于没有副作用，对函数程序的推理比对命令程序的推理更简单。然而，由于缺乏实用的调试器，直到最近，在惰性函数语言中查找错误才变得更加复杂。最容易使用的Haskell调试器之一是Hood。其行为基于中间数据结构的观察概念。然而，尽管在观察某些结构时使用Hood可能很简单，但众所周知，在处理复杂情况时可能很难理解它是如何工作的。事实上，Hood的作者认识到，有必要将其行为形式化，以便更好地解释应该期望什么，并允许检查不同的实现是否正常工作。在本文中，我们通过扩展Sestoft的自然语义。此外，我们还展示了如何导出一个抽象机器，其中包括此类调试信息。通过这样做，我们不仅提供了一个正式的基础，但我们也提供了另一种实现调试器的方法。事实上，我们已经已经制作了本文所述抽象机器的原型。 MSC公司： 68甲18 函数编程和lambda演算 第68季度55 计算理论中的语义学 关键词：抽象机器;调试;并行函数编程;语义学;塞斯托夫特语义学;罩;哈斯克尔 软件：哈斯克尔;罩 PDF格式BibTeX公司 XML格式引用 \textit{A.De La Encina}等人，J.UCS 15，No.14，2836--2880（2009；Zbl 1217.68051） 全文： 链接