Animators for Generated Programming Environments

Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters. To this end, a patternmatching 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 speci cations of interpreters.

• Type: Conference
• Year: 1993
• Where: AADEBUG
• Authors: Frank Tip
• Keywords: AADEBUG 1993, Algebraic Speci Cations, Software Engineering, Source-level Debuggers, Speci Cations