USER'S MANUAL JOVIAL COMPILER VALIDATION SYSTEM

Abstract

The report consists of detailed specifications for the use of the JOVIAL Compiler Validation System (JCVS). The system is designed to measure the compliance of a specific JOVIAL J3 compiler against the language specifications in Air Force Manual 100-24, 'Standard Computer Programming Language for Air Force Command and Control Systems'. The report describes the card input formats, deck structures, tape requirements, test modules, and operator procedures required to use the system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1970
Accession Number
AD0711370

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Command And Control
  • Command And Control Systems
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Instructions
  • Language
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Programming Languages
  • Specifications
  • Standards
  • Systems Engineering
  • Test And Evaluation

Fields of Study

  • Computer science
  • Physics

Readers

  • Computer Science.
  • Software Verification and Validation.

Technology Areas

  • Fully Networked C3
  • Fully Networked C3 - Command and Control