A system for analyzing Ada programs at run-time
Software—Practice & Experience
Real-time: the “Lost World” of software debugging and testing
Communications of the ACM
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
A database model of debugging (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Development of a debugger for a concurrent language
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
Monitoring distributed systems: a relational approach
Monitoring distributed systems: a relational approach
Ada debugging and testing support environments
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Relational data bases in the design of program construction systems
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
Project SPERBER: background, status, future plans
ACM SIGAda Ada Letters
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Vestal: a tool for teaching concurrency in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Enhancing Java server availability with JAS
Software—Practice & Experience
Hi-index | 0.00 |
This symbolic run-time debugger for Ada provides facilities for observing and manipulating the execution of a monitored program, also for concurrent aspects. The debugger can be used interactively, and also as a monitoring program to control the application. A feature of this project is the use of relational algebra for defining compiler and kernel interfaces and for handling debugger information. The implementation is based on an Ada task to interface with the debugging operator and a set of user-defined Ada monitoring tasks. A prototype of the debugger was completed as a part of ART, a relational translator and interpreter for Ada.