约束逻辑程序通用动态分析的跟踪驱动程序
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
摘要：
带有约束的程序很难调试。在本文中，我们描述了一个通用的体系结构，以帮助开发新的调试工具的约束编程。可能的工具由单个通用示踪剂提供。跟踪驱动程序用于根据工具的需要调整跟踪的实际内容。这使工具和跟踪程序能够在客户机-服务器方案中进行通信。由于事件模式，每个工具都描述了其对执行数据的需求。跟踪程序驱动程序根据这些事件模式仔细检查执行情况，并只发送与连接的工具相关的数据。实验测量表明，这种方法导致良好的性能，在约束逻辑编程的上下文中，存在大量的各种各样的工具和跟踪是潜在的巨大。
英文摘要：
Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. The possible tools are fed by a single general-purpose tracer. A tracer-driver is used to adapt the actual content of the trace, according to the needs of the tool. This enables the tools and the tracer to communicate in a client-server scheme. Each tool describes its needs of execution data thanks to event patterns. The tracer driver scrutinizes the execution according to these event patterns and sends only the data that are relevant to the connected tools. Experimental measures show that this approach leads to good performance in the context of constraint logic programming, where a large variety of tools exists and the trace is potentially huge.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
