Hat is a programmer's tool for generating a trace of a computation of a Haskell 98 program and viewing such a trace in various different ways. Applications include program comprehension and debugging. The trace viewing tools show expressions and equations of a computation, but they hardly refer to the source program. This disregard of the program is odd, because the computation follows from the program and the usually familiar source program can help orientation in a complex computation. Hence I started the development of new trace viewing tools that are based on showing the source program with various changing markings
A computation tree of a program execution describes computations of functions and their dependencies...
This paper formally presents a model of tracing for functional programs based on a small-step operat...
AbstractTraces of program executions are a helpful source of information for program debugging. They...
Hat is a programmer’s tool for generating a trace of a computation of a Haskell 98 program and view...
Experience shows that users of the Hat viewing tools find it hard to keep orientation and navigate t...
Different tracing systems for Haskell give different views of a program at work. In practice, severa...
The tracer Hat records in a detailed trace the computation of a program written in the lazy function...
Existing methods for generating a detailed trace of a computation of a lazy functional program are c...
We define a small step operational semantics for a core of Haskell. We modify this semantics to gene...
Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, eve...
In functional programming languages such as Haskell, it happens often that some parts of a program a...
In this paper we compare three systems for tracing and debugging Haskell programs: Freja, the Redex ...
AbstractThe tracer Hat records in a detailed trace the computation of a program written in the lazy ...
In non-strict functional programming languages such as Haskell, it happens often that some parts of ...
This paper formally presents a model of tracing for functional programs based on a small-step operat...
A computation tree of a program execution describes computations of functions and their dependencies...
This paper formally presents a model of tracing for functional programs based on a small-step operat...
AbstractTraces of program executions are a helpful source of information for program debugging. They...
Hat is a programmer’s tool for generating a trace of a computation of a Haskell 98 program and view...
Experience shows that users of the Hat viewing tools find it hard to keep orientation and navigate t...
Different tracing systems for Haskell give different views of a program at work. In practice, severa...
The tracer Hat records in a detailed trace the computation of a program written in the lazy function...
Existing methods for generating a detailed trace of a computation of a lazy functional program are c...
We define a small step operational semantics for a core of Haskell. We modify this semantics to gene...
Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, eve...
In functional programming languages such as Haskell, it happens often that some parts of a program a...
In this paper we compare three systems for tracing and debugging Haskell programs: Freja, the Redex ...
AbstractThe tracer Hat records in a detailed trace the computation of a program written in the lazy ...
In non-strict functional programming languages such as Haskell, it happens often that some parts of ...
This paper formally presents a model of tracing for functional programs based on a small-step operat...
A computation tree of a program execution describes computations of functions and their dependencies...
This paper formally presents a model of tracing for functional programs based on a small-step operat...
AbstractTraces of program executions are a helpful source of information for program debugging. They...