Computer Program Development Specification for Ada Integrated Environment. Ada Compiler Phases B5-AIE (1). COMP (1).

Abstract

This document specifies the requirements for the performance and verification of the Ada compilers for the IBM (VM/370) and Perkin-Elmer (PE) 8/32 (OS/32) systems. Each compiler provides the user with the ability to translate an Ada compilation and obtain a program listing and linkable machine code for the respective target machine; listing, optimization, and debugging control are selectable by the user. Because of the compiler structure and the similarity of the target machines, the two compilers are nearly identical. As a result, this document presents the design as though there were a single Ada compiler; where target-machine dependencies make the compilers different, this is pointed out in the discussion.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 05, 1982
Accession Number
ADA134032

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acceptance Tests
  • Algorithms
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Grammars
  • High Level Languages
  • Identification
  • Language
  • Lists (Data Structures)
  • Machine Languages
  • Object Code
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Software Verification and Validation.