Algorithmic debugging is a technique proposed in 1982 by EY Shapiro in the context of logic
programming. This survey shows how the initial ideas have been developed to become a …

Helium is a user-friendly compiler designed especially for learning the functional
programming language Haskell. The quality of the error messages has been the main …

As a possible extension to his http://www. haskell. org/hood/Hood http://www. cse. ogi. edu/~
andy/pub/debug. htm, Andy Gill has described the``dynamic viewing of structures'', stepping …

Different tracing systems for Haskell give different views of a program at work. In practice,
several views are complementary and can productively be used together. Until now each …

This article describes the implementation of a debugger for lazy functional languages like
Haskell. The key idea is to construct a declarative trace which hides the operational details …

In this article we use model checking techniques to debug Concurrent Haskell programs.
LTL formulas specifying assertions or other properties are verified at runtime. If a run which …

A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has
recently been added to the list of Haskell extensions supported by the Glasgow Haskell …

We employ the narrowing-based execution mechanism of the functional logic programming
language Curry in order to automatically generate a system of test cases for glass-box …

Understanding the behavior of software is important for the existing software to be improved.
In this paper, we present a trace slicing technique that is suitable for analyzing complex …

Non-strict purely functional languages pose many challenges to the designers of debugging
tools. Declarative debugging has long been considered a suitable candidate for the task due …