Ada Compiler Validation Summary Report: Certificate Number: 931029S1. 11330, Digital Equipment Corporation, DEC Ada for DEC OSF/1 AXP Systems, Version 3.1, DEC 3000 Model 400 AXP Workstation, DEC 3000 Model 400 AXP Workstation

Abstract

The Ada implementation described above was tested according to the Ada Validation Procedures (Pro92) against the Ada Standard (Ada83) using the current Ada Compiler Validation Capability (ACVC). This Validation Summary Report (VSR) gives an account of the testing of this Ada implementation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 26, 1993
Accession Number
ADA274872

Entities

Organizations

  • National Institute of Standards and Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computer Programming
  • Computers
  • Corporations
  • Engineering
  • High Level Languages
  • Host Computers
  • Information Systems
  • Language
  • Machines
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • System Software

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.