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: |
Interface (Java)
Programming language Computer science media_common.quotation_subject Tracing Abstract data type computer.software_genre Abstract machine Warren Abstract Machine TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Algorithmic program debugging Debugging computer Debugger media_common |
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 |
Externí odkaz: |