Execution monitoring and debugging tool for Ada using relational algebra
- 1 May 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters
- Vol. V (2) , 109-123
- https://doi.org/10.1145/324422.324386
Abstract
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.This publication has 8 references indexed in Scilit:
- Project SPERBERACM SIGAda Ada Letters, 1984
- Relational data bases in the design of program construction systemsACM SIGPLAN Notices, 1983
- A system for analysing Ada programs at run-timeSoftware: Practice and Experience, 1983
- The ROLM Ada work centerACM SIGAda Ada Letters, 1983
- Ada debugging and testing support environmentsACM SIGPLAN Notices, 1980
- Real-timeCommunications of the ACM, 1980
- Translator design to support run-time debuggingSoftware: Practice and Experience, 1979
- Aladdin: Assembly Language Assertion Driven Debugging InterpreterIEEE Transactions on Software Engineering, 1979