Experience with a portable debugging tool
Software—Practice & Experience
An introduction to data structures with applications (2nd ed.)
An introduction to data structures with applications (2nd ed.)
A debugger for concurrent programs
Software—Practice & Experience
A probe effect in concurrent programs
Software—Practice & Experience
Programming language concepts (2nd ed.)
Programming language concepts (2nd ed.)
Microprocessor debugging techniques and their application in debugger design
Software—Practice & Experience
A system for analyzing Ada programs at run-time
Software—Practice & Experience
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Architecture of the IBM system/370
Communications of the ACM - Special issue on computer architecture
Capability-Based Computer Systems
Capability-Based Computer Systems
Advances in Computer Architecture
Advances in Computer Architecture
Art of Software Testing
Pgm DeBugging
A hardware mechanism for supporting range checks
ACM SIGARCH Computer Architecture News
Guidelines for creating a debuggable processor
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Some requirements for architectural support of software debugging
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Interactive Debug requirements
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Generalized path expressions: A high level debugging mechanism (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
An approach to high-level debugging of distributed systems (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Implementation issues for a source level symbolic debugger (Extended Abstract)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
VAX DEBUG: An interactive, symbolic, multilingual debugger
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Hardware detection of undefined references
ACM SIGARCH Computer Architecture News
Hardware support for program debuggers in a paged virtual memory
ACM SIGARCH Computer Architecture News
OPIUM: a debugging environment for Prolog development and debugging research
ACM SIGSOFT Software Engineering Notes
A cross-debugging method for hardware/software co-design environments
DAC '93 Proceedings of the 30th international Design Automation Conference
Hi-index | 0.00 |
In the event-action model of interactions between the debugging system and the program being debugged, an event will occur on the evaluation of a conditional defined in terms of the program activity if the evaluation yields the value true, and an action is an operation performed by the debugging system on the occurrence of an event. This paper presents a set of mechanisms for expressing conditionals at different levels of abstraction. At the lowest level, the authors have the simple conditionals, which can be expressed in terms of the values of the program entities and of the execution of the program statements. Simple conditionals can be grouped to form higher-level compound conditionals, which can be expressed in terms of the state and flow histories. The paper shows that the proposed abstraction mechanisms are powerful tools for monitoring program activity. They adequately support different debugging techniques, and offer the user a considerable degree of control over the debugging experiment.