ADA Compiler Validation Summary Report, VC#950303S1.11381. Digital Equipment Corporation - Compiler Name: DEC Ada for OpenVMS Alpha Systems, Version 3.2.

Abstract

This Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on March 3, 1995. Host Computer System: DEC 3000 Model 400 AXP Workstation under OpenVMS Alpha Operating System, Version 6.1 Target Computer System: DEC 3000 Model 400 AXP Workstation under OpenVMS Alpha Operating System, Version 6.1.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 28, 1995
Accession Number
ADA293709

Entities

Organizations

  • National Institute of Standards and Technology

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
  • Language
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • Validation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Verification and Validation.