重写逻辑计算的动态后向切片
Dynamic Backward Slicing of Rewriting Logic Computations
摘要：
跟踪切片是一种广泛使用的执行跟踪分析技术，可有效地用于程序调试、分析和理解。在本文中，我们提出了一个反向跟踪切片技术，可用于重写逻辑理论的分析。我们的跟踪切片技术使我们能够系统地追溯重写序列模方程公理（如结合性和交换性）的算法，动态简化的痕迹，通过检测控制和数据的依赖关系，并丢弃无用的数据，不影响最终结果。我们的方法是特别适合于分析复杂的，文本大系统的计算，如那些交付的反例的痕迹，由莫德模型检查。
英文摘要：
Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used for the analysis of Rewriting Logic theories. Our trace slicing technique allows us to systematically trace back rewrite sequences modulo equational axioms (such as associativity and commutativity) by means of an algorithm that dynamically simplifies the traces by detecting control and data dependencies, and dropping useless data that do not influence the final result. Our methodology is particularly suitable for analyzing complex, textually-large system computations such as those delivered as counter-example traces by Maude model-checkers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
