Skip to main content
SpringerLink
Log in

Visualization as debugging: Understanding/debugging the Warren Abstract Machine

  • Visualization and Graphical User Interfaces
  • Conference paper
  • First Online:
Automated and Algorithmic Debugging (AADEBUG 1993)

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

Included in the following conference series:

  • 137 Accesses

Abstract

This paper presents a twofold proposal to understand the Warren Abstract Machine. A stepwise definition of the WAM by using abstract data types (for every WAM component) is briefly presented. Furthermore, we describe a visual environment which can be used for the emulation of the Warren Abstract Machine. It has been designed as a high level debugger for object oriented programs, following a methodology sketched in the paper. The tool has the capability to show the user the internal behaviour of the WAM during a program execution by showing its components at the desired level of abstraction. The tool provides an interactive and friendly interface. Configurable tracing and dynamic breakpoint location can be used in a simple and coherent way. All the features included in the tool allow for an easy and powerful examination of the WAM.

This work has been partially supported by the.Spanish PRONTIC project TIC93-0737-C02-02

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Aït-Kaci: The WAM: A (Real) Tutorial, The MIT Press, 1991.

    Google Scholar 

  2. E. Böerger, D. Rosensweig: WAM Algebras-A Mathematical Study of Implementation, Part I in Proc. CSL'90, Part II in Proc. Russian Conf. on Logic Prog.' 91.

    Google Scholar 

  3. E. Böerger, D. Rosensweig: The WAM-Definition and Compiler Correctness, Technical Report, TR-14/92, Dipartamento di Informatica, Università di Pisa, 1992.

    Google Scholar 

  4. T. Budd: Object Oriented Programming, Addison Wesley, 1991.

    Google Scholar 

  5. B.J. Cox: Objective-C Interpreter version 4.0 User's Reference Manual, Stepstone Inc. Sandy Hook, CT, 1988.

    Google Scholar 

  6. M. Ducasse: Abstract views of PROLOG executions in Opium, Proceedings ISLP'91, The MIT Press 1991, pp. 18–32.

    Google Scholar 

  7. M. Ducasse: A General Trace Query Mechanism Based on PROLOG, Proceedings PLILP'92, Springer LNCS 631, 1992, pp. 400–414.

    Google Scholar 

  8. J. Gabriel, T. Lindholm, E.L. Lusk, R.A. Overbeck: A Tutorial for the WAM for Computational Logic, ANL-64-84, Argonne Nat. Lab., 1985.

    Google Scholar 

  9. J. García-Martín, J.J. Moreno-Navarro: Friendly-WAM: An Interactive Tool to Understand the Compilation of PROLOG, Proceedings LPAR'92, Springer LNAI 624, Springer Verlag, 1992.

    Google Scholar 

  10. J. García-Martín, J.J. Moreno-Navarro: A Formal Definition of an Abstract PROLOG Compiler, submitted for publication, 1993.

    Google Scholar 

  11. A. Goldberg: Smalltalk-80: The Interactive Programming Environment, Addison Wesley, 1983.

    Google Scholar 

  12. D. Ingalls, S. Wallace, Y.Y. Chow, F. Ludolph, K. Doyle: Fabrik: a Visual Programming Environment, Proceedings OOPSLA'88, 1988.

    Google Scholar 

  13. P. Kursawe: How to Invent a PROLOG Machine, New Generation Comp., 5, 1989.

    Google Scholar 

  14. M.G. Menelaou, J.A. Purchase, R.L. Winder: On Debuggers and Debugging Tools and Techniques, UCL Research Note, London, UK, 1989.

    Google Scholar 

  15. D. Maier, D.S. Warren: Computing with Logic: Logic Programming with PROLOG, Ed. Benjamin Cummings, 1988.

    Google Scholar 

  16. U. Nilsson: Towards a Methodology for the Design of Abstract Machines for LP Languages, to appear in The Journal of Logic Programming, vol. 6, num. 1, 1993.

    Google Scholar 

  17. J.A. Purchase, R.L. Winder: Debugging Tools for Object Oriented Programming, Journal of Object Oriented Programming, vol. 4, n. 3, June 1992, pp. 10–27.

    Google Scholar 

  18. D.M. Russinoff: A Verified PROLOG Compiler for the Warren Abstract Machine, Journal of Logic Programming, vol. 13, n. 4, August 1992, pp. 367–412.

    Google Scholar 

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

    Google Scholar 

  20. R. Stallman: GDB+ Manual, The gnu C++ Debugger, MA, 1988.

    Google Scholar 

  21. B. Stroustrup: The Programming Language C++, Addison Wesley, 1987.

    Google Scholar 

  22. P.A. Srekely, B.A. Myers: A User Interface Toolkit based on Graphical Objects and Constraints, Proceedings OOPSLA'88, 1988.

    Google Scholar 

  23. D.H.D. Warren: An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento LSIIS, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain

    Julio García-Martín & Juan José Moreno-Navarro

Authors
  1. Julio García-Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan José Moreno-Navarro
    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

García-Martín, J., Moreno-Navarro, J.J. (1993). Visualization as debugging: Understanding/debugging the Warren Abstract Machine. 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/BFb0019413

Download citation

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

  • 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