Debugging Ada Tasking Programs

IEEE Software

Volumn 2, Issue 2, 1985, Pages 47-57

  Helmbold, David ^a   Luckham, David ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA TASKING PROGRAMS; DEADNESS ERROR; RUNTIME MONITORING;

COMPUTER PROGRAMMING - MONITORING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0022026418     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.1985.230351     Document Type: Article

References (7)

1. 1. D. P. Helmbold and D. C. Luckham, Runtime Detection and Description of Deadness Errors in Ada Tasking, CSL tech. report 83–249, Stanford University, · Palo Alto, Calif., Nov. 1983.
2. 2. R. N. Taylor, Complexity of Analyzing the Synchronization Structure of Concurrent Programs, Information and Computer Sciences Report, University of California, Irvine, Aug. 1982.
3. 3. R. N. Taylor, “Analysis of Concurrent Software by Cooperative Application of Static and Dynamic Techniques,” Proc. Symp. Software Validation, Damistadt, F. R. G., Sept. 1983.
4. 4. S. M. German, D. P. Helmbold, and D. C. Luckham, “Monitoring for Deadlocks in Ada Tasking,” Proc. AdaTec Conf. Ada, Arlington, Va., Oct. 1982, pp. 10–25.
5. 5. The Ada Programming Language Reference Manual, US Department of Defense, ANSI/MILSTD 1815A Document, US Government Printing Office, 1983.
6. 6. D. C. Luckham, F. W. von Henke, H. J. Larsen, and D. R. Stevenson, ADAM—An Ada-based Language for Multi-processing, tech. report CSL-TR-83-240, Stanford University, Palo Alto , Calif., May 1983; Software Practice and Experience, July 1984, pp. 605–642.
7. 7. D. Rosenblum, “A Method of Designing Ada Tools using DIANA Trees as an Internal Form,” Conf. Ada Applications and Environments, St. Paul, Minn., Oct. 1984; IEEE Software, this issue.