JOVIAL Compiler Validation System User's Guide. Volume II.

Abstract

.Technical rept.,2Robinson,Richard A. ;Williams,Dennis R. ;RADC-TR-73-315-Vol-2AF-5581558100See also Volume 1, AD-772 747.*Compilers, Programming languages, Instruction manuals, Validation, Boolean algebra*JOVIAL, Honeywell 6000/600 computersThe technical 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'. Volume two is a complete listing of all JCVS tests (Classes 1-6) for the Honeywell 6000/600 Computer Systems. (Modified author abstract)

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1973
Accession Number
AD0772751

Entities

People

  • Dennis R. Williams
  • Richard A. Robinson

Organizations

  • Rome Laboratory

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Boolean Algebra
  • Command And Control
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Instruction Manuals
  • Instructions
  • Language
  • Manuals
  • Programming Languages
  • Specifications
  • Standards
  • Validation

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Software Verification and Validation.

Technology Areas

  • Fully Networked C3