A Slicing Tool for Lazy Functional Logic Programs

Abstract 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.

Authors

• Claudio Ochoa
• Josep Silva
• Germán Vidal

Keywords

No keywords are indexed for this paper.