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