Visualization and Graphical User Interfaces

Automated and Algorithmic Debugging

Volume 749 of the series Lecture Notes in Computer Science pp 241-254


Animators for generated programming environments

  • Frank TipAffiliated withCWI


Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic specifications of interpreters. To this end, a pattern-matching mechanism is used in conjunction with origin tracking, a generic tracing technique. The generation of animators is illustrated using an example language named CLaX, a Pascal relative. We study how our approach can be extended to the generation of source-level debuggers and algorithmic debuggers from specifications of interpreters.