Runtime detection and description of deadness errors in Ada tasking
- 1 May 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters
- Vol. IV (6) , 60-72
- https://doi.org/10.1145/998421.998427
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Monitoring for deadlocks in Ada taskingPublished by Association for Computing Machinery (ACM) ,1982
- An operational semantics of multitasking and exception handling in AdaPublished by Association for Computing Machinery (ACM) ,1982