Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Logic for problem-solving
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
On database systems development through logic
ACM Transactions on Database Systems (TODS)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Maintaining knowledge about temporal intervals
Communications of the ACM
Natural Language Communication with Computers
Ada debugging and testing support environments
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A database model of debugging (Preliminary Draft)
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 in a software development environment: A relational approach
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ADAM - an Ada based language for multi-processing
ADAM - an Ada based language for multi-processing
Detecting software errors before execution
Detecting software errors before execution
Debugging techniques for communicating, loosely-coupled processes
Debugging techniques for communicating, loosely-coupled processes
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters
ACM Computing Surveys (CSUR)
Event-based performance perturbation: a case study
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
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
High level tools for the debugging of real-time multiprocessor systems
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
A controlled experiment with software for teaching Ada tasking
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Towards target-level testing and debugging tools for embedded software
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Interactive Visualization of Concurrents Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Grid-Level Computing Needs Pervasive Debugging
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
International Journal of Human-Computer Studies
Hi-index | 0.00 |
A trace database model for debugging concurrent Ada programs is presented. In this approach, trace information is captured in an historical database and queried using Prolog. This model was used to build a prototype debugger, called Your Own Debugger for Ada (YODA). The design of YODA is described and a trace analysis of a sample program exhibiting misuse of shared data is presented. Because the trace database model is flexible and general, it can aid diagnosis of a variety of runtime errors.