Ada Compiler Validation Summary Report. Certificate Number: 920918S1. 11272, U.S. Navy Ada/M, Version 4.5 (/OPTIMIZE) VAX 8550/8600/8650 (Cluster) > Enhanced Processor (EP) AN/UYK-44 (Bare Board)

Abstract

U.S. Navy, Ada/M, Version 4.5 (/OPTIMIZE), VAX 8550/8600/8650 (Cluster), (running VAX/VMS Version 5.3)(host) to Enhanced Processor (EP) AN/ UYK-44 (Bare Board)(Target), ACVC 1.11

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1992
Accession Number
ADA265260

Entities

Organizations

  • National Institute of Standards and Technology

Tags

Communities of Interest

  • Counter WMD

DTIC Thesaurus Topics

  • Abstracts
  • Birds
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • United States

Fields of Study

  • Physics

Readers

  • Maritime and Naval Warfare Studies
  • Software Verification and Validation.