Ada (Trade Name) Compiler Validation Summary Report: Telesoft. Prime Ada Compiler, Version 1.0. Prime 9955 Model 2.

Abstract

This Validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the Prime Ada Compiler, Version 1.0, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). Keywords:Ada programming language, Ada compiler validation summary report, Ada compiler validation capability, ACVC, Validation testing, Ada validation office, AVO, Ada validation facility, AVF, ANSI/MIL-STD-1815A, Ada joint program office.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 21, 1987
Accession Number
ADA189796

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Conformity
  • Department Of Defense
  • Detection
  • Governments
  • High Level Languages
  • Language
  • Law
  • Magnetic Tape
  • Operating Systems
  • Standards
  • Test Methods
  • United States
  • United States Government

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Verification and Validation.