Runtime detection and description of deadness errors in Ada tasking

• Authors:

• D. Helmbold;D. C. Luckham

• Affiliations:

• Stanford University, Stanford, California;Stanford University, Stanford, California

• Venue:
• ACM SIGAda Ada Letters
• Year:
• 1985