Ada Compiler Validation Summary Report: Western Digital STC-Ada Compiler, Version C1. Om V-004.

Abstract

This report describes the results of the validation effort for the following Ada translator: Host Machine: Western Digital WD1600 Series MicroEngine; Operating System: STC Ada Operating System 2.9; Host Disk System: 10 megabyte Winchester; Target Machine: Western Digital WD1600 Series MicroEngine; Operating System: STC Ada Operating System 2.9; Language Version: ANSI/MIL-STD-1815A Ada; Translator Name: STC-Ada; Translator Version: C1.0m; and Validator Version: 1.1 (March 4, 1983). Testing of this translator was conducted by SofTech, Inc. The purpose of this report is to document the results of the testing performed on the translator, and in particular, to: identify any language constructs supported by the translator that do not conform to the Ada standard; identify any unsupported language constructs required by the Ada standard; and describe implementation-dependent behavior allowed by the standard.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 28, 1983
Accession Number
ADA136738

Entities

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Corporations
  • Errors
  • Language
  • Object Code
  • Operating Systems
  • Personality
  • Short Circuits
  • Specifications
  • Standards
  • Translators
  • United States
  • United States Government
  • Validation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Verification and Validation.