10th
European Conference on Logics in Artificial Intelligence
(JELIA'06).
Springer LNCS 4160, pp.498-501, 2006.
© Springer-Verlag
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.
Available: PDF / BibTeX entry