Animators for generated programming environments

  • Frank Tip
Visualization and Graphical User Interfaces
Part of the Lecture Notes in Computer Science book series (LNCS, volume 749)


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.


  1. 1.
    Aho, A.V., Sethi, R., Ullman, J.D.: Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.Google Scholar
  2. 2.
    Bahlke, R., Moritz, B., Snelting, G.: A generator for language-specific debugging systems. In Proceedings of the ACM SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques, pages 92–101, 1987. Appeared as SIGPLAN Notices 22(7).Google Scholar
  3. 3.
    Bahlke, R., Snelting, Q.: The PSG system: from formal language definitions to interactive programming environments. ACM Transactions on Programming Languages and Systems, 8(4):547–576, 1986.Google Scholar
  4. 4.
    Bergstra, J.A., Heering, J., Klint, P., Eds.: Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.Google Scholar
  5. 5.
    Berry, D.: Generating Program Animators from Programming Language Semantics. PhD thesis, University of Edinburgh, 1991.Google Scholar
  6. 6.
    Bertot, Y.: Occurrences in debugger specifications. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 327–337, 1991. Appeared as SIGPLAN Notices 26(6).Google Scholar
  7. 7.
    Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Lang, B., Pascual, V.: Centaur: the system. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 14–24, 1989. Appeared as SIGPLAN Notices 14(2).Google Scholar
  8. 8.
    Deursen, A. van: Origin tracking in primitive recursive schemes. Technical report, Centrum voor Wiskunde en Informatica (CWI), 1993. To appear.Google Scholar
  9. 9.
    Deursen, A. van, Klint, P., Tip, F.: Origin tracking. Report CS-R9230, Centrum voor Wiskunde en Informatica (CWI), 1992. To appear in Journal of Symbolic Computation.Google Scholar
  10. 10.
    Dinesh, T.B., Tip, F.: Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), 1992.Google Scholar
  11. 11.
    Fritzson, P., Gyimothy, T., Kamkar, M., Shahmehri, N.: Generalized algorithmic debugging and testing. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 317–326, 1991. Appeared as SIGPLAN Notices 26(6).Google Scholar
  12. 12.
    Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The syntax definition formalism SDF — reference manual. SIGPLAN Notices, 24(11):43–75, 1989.Google Scholar
  13. 13.
    Kahn, G.: Natural semantics. In Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M., Eds.: Fourth Annual Symposium on Theoretical Aspects of Computer Science, volume 247 of Lecture Notes in Computer Science, pages 22–39. Springer-Verlag, 1987.Google Scholar
  14. 14.
    Klint, P.: A meta-environment for generating programming environments. ACM Transactions on Software Engineering Methodology, 2(2):176–201, 1993.Google Scholar
  15. 15.
    Klop, J.W.: Term rewriting systems. In Abramsky, S., Gabbay, D., Maibaum, T., Eds.: Handbook of Logic in Computer Science, Vol II. Oxford University Press, 1991. Also CWI report CS-R9073.Google Scholar
  16. 16.
    Müller, H., Winckler, J., Grzybek, S., Otte, M., Stoll, B., Equoy, F., Higilin, N.: The program animation system PASTIS. Bericht 20, Universität Freibürg, Institut für Informatik, 1990.Google Scholar
  17. 17.
    Shahmehri, N.: Generalized Algorithmic Debugging. PhD thesis, Linköping University, 1991.Google Scholar
  18. 18.
    Shapiro E.Y.: Algorithmic Program Debugging. MIT Press, 1982.Google Scholar
  19. 19.
    Stallman, R.M., Pesch, R.H.: Using GDB, A guide to the GNU Source-Level Debugger. Free Software Foundation/Cygnus Support, 1991. Version 4.0.Google Scholar

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

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

Personalised recommendations