A slicing tool for lazy functional logic programs

被引：1

作者：

Ochoa, Claudio ^{[1
]}

Silva, Josep

Vidal, German

机构：

[1] Tech Univ Madrid, DIA, Boadilla Del Monte 28660, Spain

[2] Univ Politecn Valencia, Valencia 46022, Spain

来源：

LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4160卷

关键词：

D O I：

10.1007/11853886_46

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Program slicing is a well-known technique that has been widely used for debugging in the context of imperative programming. Debugging is a particularly difficult task within lazy declarative programming. In particular, there exist very few approaches to program slicing in this context. In this paper, we describe a slicing tool for first-order lazy functional logic languages. We also illustrate its usefulness by means of an example.

引用

页码：498 / 501

页数：4