Execution monitoring and debugging tool for Ada using relational algebra-Reference-Cited by-同舟云学术

Execution monitoring and debugging tool for Ada using relational algebra

Published:1985-09 Issue:2 Volume:V Page:109-123
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Di Maio A.¹,Ceri S.¹,Crespi Reghizzi S.¹

Affiliation:

1. Dipartimento di Elettronica, Politecnico di Milano, Pza Leonardo da Vinci, 32, 20133 Milano, Italy

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/324422.324386

Reference27 articles.

1. Ada Reference Manual (1983). MIL-STD-1815A D.o.D.U.S.A. Ada Reference Manual (1983). MIL-STD-1815A D.o.D.U.S.A.

2. Bates P.C. & Wileden J.C. (1983). An approach to high-level debugging of distributed systems ibid. 24-33. 10.1145/800007.808017 Bates P.C. & Wileden J.C. (1983). An approach to high-level debugging of distributed systems ibid. 24-33. 10.1145/800007.808017

3. Brosgol B.M. et al. (1980). TCOLAd : Revised report on an intermediate representation for the preliminary ~da language. Department of Computer ~cience carnagie-Mellon University. Brosgol B.M. et al. (1980). TCOLAd : Revised report on an intermediate representation for the preliminary ~da language. Department of Computer ~cience carnagie-Mellon University.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Monitoring and debugging distributed realtime programs;Software: Practice and Experience;1992-10

2. A bibliography of parallel debuggers, 1990 edition;ACM SIGPLAN Notices;1991-01