Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Ledoux et al. (1985) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: