约束逻辑程序的切片
软件工程
2007-05-23 v1
摘要
切片是最初用于命令式语言的程序分析技术。它有助于理解数据流和调试。本文讨论了约束逻辑程序的切片。约束逻辑编程(CLP)是一种新兴的软件技术，正在获得越来越多的应用。约束程序的数据流是显式的，因此约束程序的切片概念以及命令式语言的切片技术无法直接应用。本文提出了适用于CLP的声明性切片概念。它们为基于变量共享的切片技术（包括动态和静态）提供了基础。技术进一步通过使用groundness信息得到扩展。简要描述了实现所提出思想的动态CLP切片器原型及其切片实验结果。
引用
@article{arxiv.cs/0012014,
title = {Slicing of Constraint Logic Programs},
author = {Gyongyi Szilagyi and Tibor Gyimothy and Jan Maluszynski},
journal= {arXiv preprint arXiv:cs/0012014},
year = {2007}
}
备注
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. cs.SE/0010035