Ada Advanced Error Detector.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1984
Accession Number
ADA140273

Entities

People

  • D. C. Luckham

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Application Software
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Detection
  • Detectors
  • High Level Languages
  • Language
  • Lists (Data Structures)
  • Operating Systems
  • Programming Languages
  • Prototypes
  • Standards
  • Test Methods

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Programming and Software Development.
  • Parallel and Distributed Computing.
  • Software Engineering