Ada (trademark) Compiler Validation Summary Report. SofTech, Inc. AdaVAX Compiler Version 2.47 VAX 8600, VAX-11/780, VAX-11/785; and MicroVAX II Using VAX/VMS Version 4.1 and MicroVMS 4.1M.

Abstract

This report describes the results of the validation testing for the compiler designated as AdaVAX, version 2.47 the following configurations: Host Machines; Operating System; Host Disk Systems; Target Machines; Operating System; Language Version; Translator Name; and Validation Test Version. The purpose of this report is to document the results of the testing performed on the compiler, and in particular, to: 1)identify any language constructs supported by the compilers that do not conform to the Ada standard; 2)identify any unsupported language constructs required by the Ada standard; and 3)describe implementation dependent behavior allowed by the standard.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 30, 1985
Accession Number
ADA183666

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Classification
  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Governments
  • High Level Languages
  • Language
  • Law
  • New Jersey
  • Operating Systems
  • Programming Languages
  • Security
  • Standards
  • United States
  • United States Government

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.