AADEBUG
1993
Springer
14 years 3 months ago
1993
Springer
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....