An event-driven debugger for Ada

Authors:
Claude Mauger;Kevin Pammett
Affiliations:
Alsys, 29, Avenue de Versailles, 78170 La Celle Saint Cloud, France;Alsys, 29, Avenue de Versailles, 78170 La Celle Saint Cloud, France
Venue:
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Year:
1985

Citing 0
Cited 5

Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs

IEEE Transactions on Software Engineering
Deterministic execution testing of concurrent Ada programs

TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Debugging Concurrent Ada Programs by Deterministic Execution

IEEE Transactions on Software Engineering
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
Towards target-level testing and debugging tools for embedded software

TRI-Ada '93 Proceedings of the conference on TRI-Ada '93

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present the main concepts used in our symbolic debugger for Ada. Described also is a companion tool, the Ada Program VIEWer, which gives users full access to program source while debugging. This debugger is one of the components of the Alsys Tool set which aims at providing high-level Ada-oriented tools, incorporting state-of-the-art techniques for software design, documentation, and development.