The Air Force JOVIAL Compiler Validation System (JCVS)

Abstract

The Air Force JOVIAL Compiler Validation System (JCVS) was developed to assist in the validation of performance of proposed JOVIAL language processors. This report discusses the JCVS in the context of its use by the Air Force Directorate of ADPE Selection. It provides a certification of the audit test modules, and makes recommendations for improvements to the JOVIAL audit capability. It is recommended that the audit programs be used independently of the JCV System.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1971
Accession Number
AD0731755

Entities

People

  • Frank Engel Jr.

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Data Processing
  • Data Processing Equipment
  • Language
  • Machines
  • Magnetic Tape
  • Operating Systems
  • Processing Equipment
  • Procurement
  • Programming Languages
  • Punched Cards
  • Specifications

Readers

  • Aerospace logistics and air mobility.
  • Life Cycle Cost Analysis
  • Software Verification and Validation.