德拉恩西纳,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) 全文: 链接