ABSTRACT
No abstract available.
Index Terms
- Implementing concurrent programs in Ada 95
Recommendations
Implementing transactions using Ada exceptions: which features are missing?
Exception handling for a 21st century programming language proceedingsTransactional Drago programming language is an Ada extension that provides transaction processing capabilities. Exceptions have been integrated with transactions in Transactional Drago; exceptions are used to notify transaction aborts and any unhandled ...
Debugging Concurrent Ada Programs by Deterministic Execution
A language-based approach to deterministic execution debugging of concurrent Ada programs is presented. The approach is to define synchronization (SYN)-sequences of a concurrent Ada program in terms of Ada language constructs and to replay such SYN-...
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 deploymentAn execution of a concurrent program P exercises a sequence of synchronization events, called a synchronization sequence or a SYN-sequence. This non-deterministic execution behavior creates a problem during the testing phase of P: when testing P with ...
Comments