A debugger for Ada tasking

This publication has 10 references indexed in Scilit:

• A Tour Through Cedar
  IEEE Software, 1984
• Arcturus
  Published by Association for Computing Machinery (ACM) ,1984
• Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools
  Computer, 1984
• INCENSE
  ACM SIGGRAPH Computer Graphics, 1983
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• Development of a debugger for a concurrent language
  Published by Association for Computing Machinery (ACM) ,1983
• Interactive debugging of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1983
• An Incremental Programming Environment
  IEEE Transactions on Software Engineering, 1981
• Reproducible testing of monitors
  Software: Practice and Experience, 1978
• The contour model of block structured processes
  ACM SIGPLAN Notices, 1971