Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Automated and Algorithmic Debugging

AADEBUG 1993: Automated and Algorithmic Debugging pp 241–254Cite as

Animators for generated programming environments

  • Visualization and Graphical User Interfaces
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 749))

Abstract

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.

Partial support received from the European Communities under Esprit project 5399: Compiler Generation for Parallel Machines — Compare.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.

    Google Scholar 

  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. 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. 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. Berry, D.: Generating Program Animators from Programming Language Semantics. PhD thesis, University of Edinburgh, 1991.

    Google Scholar 

  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. 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. Deursen, A. van: Origin tracking in primitive recursive schemes. Technical report, Centrum voor Wiskunde en Informatica (CWI), 1993. To appear.

    Google Scholar 

  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. 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. 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. 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. 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. Klint, P.: A meta-environment for generating programming environments. ACM Transactions on Software Engineering Methodology, 2(2):176–201, 1993.

    Google Scholar 

  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. 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. Shahmehri, N.: Generalized Algorithmic Debugging. PhD thesis, Linköping University, 1991.

    Google Scholar 

  18. Shapiro E.Y.: Algorithmic Program Debugging. MIT Press, 1982.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. CWI, P.O. Box 4079, 1009, AB Amsterdam, The Netherlands

    Frank Tip

Authors
  1. Frank Tip
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter A. Fritzson

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/BFb0019412

Download citation

  • DOI: https://doi.org/10.1007/BFb0019412

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57417-0

  • Online ISBN: 978-3-540-48141-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation