An algorithm animation (AA) visualizes the behavior of an algorithm by producing an
abstraction of both the data and the operations of the algorithm. Initially it maps the current …

The article describes an IDE for functional programming, called WinHIPE. It provides an
interactive and flexible tracer, as well as a powerful visualization and animation system. The …

An algorithm animation (AA) visualizes the behavior of an algorithm by producing an
abstraction of both the data and the operations of the algorithm. Initially it maps the current …

Motivated by experience in programming and in the teaching of programming, we make
another assault on the longstanding problem of debugging. Having explored why …

Traditionally, tracing is a method by which one can see the sequence of steps
corresponding to the program execution model. Tracing for procedural or strict functional …

En esta tesis doctoral presentamos un modelo para la generación de animaciones de
programas funcionales. Los puntos clave de este modelo son su simplicidad, el poco …

We address the problem of producing a trace of the evaluation of a program written in a lazy
functional language. To avoid ambiguities and possible misunderstandings it is essential …

This thesis describes TeaBag, which is a debugger for functional logic computations.
TeaBag is an accessory of a virtual machine currently under development. A distinctive …

Der Einsatz generischer bzw. generativer Verfahren zur Entwicklung und Anwendung
interaktiver Lehr-und Lernsoftware wurde in Industrie und Ausbildung bislang kaum …