Debugging Ada Tasking Programs
D. Heimbold, David C. Luckham · IEEE Software · 1985
Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors. Powerful task debuggers for Ada can be constructed by extending existing tools that detect deadlock.