基于部分求值的功能逻辑程序前向切片
编程语言
2007-05-23 v1 计算机科学中的逻辑
摘要
程序切片主要在命令式语言背景下被研究，并已被应用于程序理解、维护、调试、测试、代码复用等广泛软件工程任务。本研究引入首个面向集成函数式与逻辑编程特性的声明式多范式程序的前向切片技术。基本地，给定程序与切片准则（我们的设定中为函数调用），所计算的前向切片包含原程序中从切片准则可达的那些部分。我们的程序切片方法基于（在线）部分求值的扩展。因此，它提供了一种利用现有部分求值器开发程序切片工具的简便途径，并有助于厘清两种方法学间的关系。已用多范式语言 Curry 自身实现了演示本方法有用性的 Curry 切片工具。
引用
@article{arxiv.cs/0601013,
title = {Forward slicing of functional logic programs by partial evaluation},
author = {Josep Silva and Germán Vidal},
journal= {arXiv preprint arXiv:cs/0601013},
year = {2007}
}
备注
To appear in Theory and Practice of Logic Programming (TPLP)