Ada (trademark) Compiler Validation Summary Report. Digital Equipment Corporation VAX Ada Compiler Version 1.1 VAX 8600, VAX-11/785, VAX-11/780, VAX-11/782, VAX-11/750, VAX-11/730, MicroVAX I & II, VAXstation I & II Using VAX/VMS and MicroVMS Version 4.2 and VAXELN Version 2.

Abstract

This report describes the results of the validation testing for the compiler designated as VAX Ada, Version 1.1 using the following configurations: Host Machines; Operating System; Host Disk System; 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 compiler 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
Sep 06, 1985
Accession Number
ADA183668

Tags

Communities of Interest

  • Energy and Power Technologies
  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Computing System Architectures
  • Corporations
  • Department Of Defense
  • Governments
  • High Level Languages
  • Instruction Set Architecture
  • Language
  • Operating Systems
  • Security
  • Software Development
  • Standards
  • United States
  • United States Government

Fields of Study

  • Computer science

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Software Verification and Validation.