Ada Compiler Validation Summary Report. Certificate Number: 950609S1.11389, Digital Equipment Corporation, DEC Ada Version 3.2 for OpenVMS VAX Systems. VAXstation 4000 Model 60 => VAXstation 4000 Model 60.

Abstract

This Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on 9 June 1995. Host Computer System: VAXstation 4000 Model 60 under OpenVMS VAX Operating System, Version 5.5 Target Computer System: VAXstation 4000 Model 60 under OpenVMS VAX Operating System, Version 5.5 (KAR) P. 1

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 12, 1995
Accession Number
ADA296828

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Debugging
  • High Level Languages
  • Host Computers
  • Information Systems
  • Instruction Set Architecture
  • Language
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Standards
  • Validation

Readers

  • Software Verification and Validation.