捕捉Ouroboros：关于调试非无地面答案集程序
摘要：ASP程序广泛接受的一个重要问题是开发支持编码阶段的工具。特别是，在调试应答集程序方面的方法被视为关键。ASP调试的初步工作主要集中在命题程序上，然而实际调试器需要处理带有变量的程序。本文讨论的调试技术直接面向非完全程序。在前期工作的基础上，我们解决了中央调试问题，即为什么某个解释不是答案集。我们提供的解释是通过元编程技术计算出来的，其中使用ASP自身对调试请求进行统一编码。我们的方法还允许包含比较谓词和整数算术的程序，从而涵盖了现有所有最先进的ASP求解器普遍支持的相关语言类。
作者：Johannes Oetsch, J"org P"uhrer, and Hans Tompits
论文ID：1007.4986
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-07-29