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.
Preview
Unable to display preview. Download preview PDF.
References
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.
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).
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.
Bergstra, J.A., Heering, J., Klint, P., Eds.: Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
Berry, D.: Generating Program Animators from Programming Language Semantics. PhD thesis, University of Edinburgh, 1991.
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).
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).
Deursen, A. van: Origin tracking in primitive recursive schemes. Technical report, Centrum voor Wiskunde en Informatica (CWI), 1993. To appear.
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.
Dinesh, T.B., Tip, F.: Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), 1992.
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).
Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The syntax definition formalism SDF — reference manual. SIGPLAN Notices, 24(11):43–75, 1989.
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.
Klint, P.: A meta-environment for generating programming environments. ACM Transactions on Software Engineering Methodology, 2(2):176–201, 1993.
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.
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.
Shahmehri, N.: Generalized Algorithmic Debugging. PhD thesis, Linköping University, 1991.
Shapiro E.Y.: Algorithmic Program Debugging. MIT Press, 1982.
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.
Author information
Authors and Affiliations
Editor information
Rights 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