Ada Compiler Validation Summary Report. Certificate Number: 920918S1. 11271, U.S. Navy AdaVAX Version 5.5 (/NO OPTIMIZE) VAXstation 4000 > VAXstation 4000

Abstract

U.S. NAVY, AdaVAX, Version 5.5 (/NO OPTIMIZE), VAXstation 4000, (running VAX/VMS Version 5.5) (host and target), ACVC 1.11

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 18, 1992
Accession Number
ADA265261

Entities

Organizations

  • National Institute of Standards and Technology

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • Grammars
  • High Level Languages
  • Host Computers
  • Language
  • Linguistics
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Standards
  • Tank Guns
  • Validation

Readers

  • Software Verification and Validation.