Accession Number : ADA140273

Title :   Ada Advanced Error Detector.

Descriptive Note : Final technical rept. Nov 79-Nov 82,

Corporate Author : STANFORD UNIV CA COMPUTER SYSTEMS LAB

Personal Author(s) : Luckham,D C

PDF Url : ADA140273

Report Date : Jan 1984

Pagination or Media Count : 64

Abstract : This is the final technical report on a project entitled 'Ada Advanced Error Detector.' The purpose of this project was to study techniques of detecting common runtime errors in sequential Ada at compile-time using verification techniques, high level annotation languages, and runtime detection of deadness errors in Ada tasking. This work has resulted in a working prototype implementation of a system for detecting and diagnosing tasking errors.

Descriptors :   *Computer programming, *Error detection codes, *Error analysis, Computer aided diagnosis, High level languages, Errors, Detection, Monitors, Monitoring

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE