A Slicing Tool for Lazy Functional Logic Programs
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.
KeywordsOriginal Program Source Program Program Fragment Imperative Programming Program Position
Unable to display preview. Download preview PDF.
- 3.Weiser, M.D.: Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. PhD thesis, U. of Michigan (1979)Google Scholar