Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Execution monitoring and debugging tool for Ada using relational algebra
View through CrossRef
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.
Association for Computing Machinery (ACM)
Title: Execution monitoring and debugging tool for Ada using relational algebra
Description:
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.
Related Results
Autonomy on Trial
Autonomy on Trial
Photo by CHUTTERSNAP on Unsplash
Abstract
This paper critically examines how US bioethics and health law conceptualize patient autonomy, contrasting the rights-based, individualist...
Debugging Parallel DEVS
Debugging Parallel DEVS
To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated...
Domain kognitif dan pencapaian ungkapan algebra dalam kalangan pelajar Tingkatan Dua
Domain kognitif dan pencapaian ungkapan algebra dalam kalangan pelajar Tingkatan Dua
Algebra merupakan salah satu topik yang sukar dalam pembelajaran Matematik khususnya di peringkat Menengah Rendah. Permasalahan pelajar dalam topik Algebra sering dikaitkan dengan ...
Optimising tool wear and workpiece condition monitoring via cyber-physical systems for smart manufacturing
Optimising tool wear and workpiece condition monitoring via cyber-physical systems for smart manufacturing
Smart manufacturing has been developed since the introduction of Industry 4.0. It consists of resource sharing and networking, predictive engineering, and material and data analyti...
How developers debug
How developers debug
Debugging software is an inevitable chore, often difficult and more time-consuming than expected, giving it the nickname the “ dirty little secret of computer science.” Surprisingl...
Relational Diagrams and the Pattern Expressiveness of Relational Languages
Relational Diagrams and the Pattern Expressiveness of Relational Languages
Comparing relational languages by their logical expressiveness is well understood. Less understood is how to compare relational languages by their ability to represent relational q...
Implicit measures of beliefs
Implicit measures of beliefs
The assessment of the thoughts and evaluations of human beings is a central feature of modern psychological science. Further to this, many researchers are specifically interested i...
What is reverse debugging? Classification of reverse debugging methods
What is reverse debugging? Classification of reverse debugging methods
Abstract
The article discusses an approach to speeding up the search complex errors in software – reverse debugging. In this approach, debugging is divided into two ...