execution monitoring and debugging tool for ada using relational algebra
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.
monitor debugging tool use relation algebra relation concurrency aspect control applications feature project compilation interfaces informal implementation task operability prototype art translation interpretation timing user