Animators for generated programming environments

  • Frank Tip
Visualization and Graphical User Interfaces

DOI: 10.1007/BFb0019412

Part of the Lecture Notes in Computer Science book series (LNCS, volume 749)
Cite this paper as:
Tip F. (1993) Animators for generated programming environments. In: Fritzson P.A. (eds) Automated and Algorithmic Debugging. AADEBUG 1993. Lecture Notes in Computer Science, vol 749. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Frank Tip
    • 1
  1. 1.CWIAB AmsterdamThe Netherlands

Personalised recommendations