Ada Compiler Validation Summary Report: Alsys AlsyCOM 003, Version 1.1.1 COMPAQ Deskpro 286.

Abstract

The Validation Summary Report describes how an Ada compiler conforms to the language standard. This report explains all technical terms used within and thoroughly reports the Ada Compiler Validation Capability (ACVC) test results. Ada compilers must be written according to the language specification as given in the ANSI/MIL-STD-1815A Ada. All implementation-defined features must be included for the compiler to conform to the Standard. Following must be included for the compiler to conform to the Standard. Following the guidelines of the Standard ensures continuity between compilers. That is, the entire Standard must be implemented, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Standard, it must be understood that some differences do exist between implementations. ANSI/MIL-STD-1815A permits some implementation dependencies, e.g., the maximum length of identifiers, the maximum values of integer types, etc. These implementation-dependent features limit the portability of programs between compilers. Other differences between compilers are due to limitations imposed on a compiler by the operating system and by the hardware. All of these dependencies are given in the report.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 24, 1986
Accession Number
ADA175044

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Programming
  • Computers
  • Governments
  • High Level Languages
  • Host Computers
  • Language
  • Law
  • Local Area Networks
  • Operating Systems
  • Programming Languages
  • Security
  • Specifications
  • Standards
  • United States
  • United States Government

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.