Visualization as debugging: Understanding/debugging the Warren Abstract Machine

Autor: Julio García-Martín, Juan José Moreno-Navarro
Rok vydání: 2005
Předmět:
Zdroj: Automated and Algorithmic Debugging ISBN: 3540574174
AADEBUG
DOI: 10.1007/bfb0019413
Popis: 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.
Databáze: OpenAIRE