Ada (Trademark) Compiler Validation Summary Report: ALSYS ALSYCOMP-0001.

Abstract

The purpose of this report is to document the results of the testing performed on the compiler, and in particular, to: identify any language constructs supported by the compiler that do not conform to the Ada standard; identify any unsupported language constructs required by the Ada standard; describe implementation-dependent behavior allowed by the standard. Additional keywords; Validation; Computer program verification; Performance tests; and High level languages.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 08, 1984
Accession Number
ADA153750

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Program Verification
  • Computer Programs
  • Computers
  • Errors
  • Governments
  • High Level Languages
  • Language
  • Law
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Orientation (Direction)
  • Standards
  • United States Government
  • Validation

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Software Verification and Validation.