JOVIAL (J73) Compiler Validator.

Abstract

This report describes the results of a project whose goal was to develop a methodology for the systematic testing of compilers. Three major products were developed: a compiler validator for the JOVIAL (J73) programming language, a SEMANOL (76) specification of JOVIAL (J73), and a Test Effectiveness Measurement Facility. In addition, the SEMANOL (76) Interpreter was modified to support this effort. The programming language JOVIAL (J73) was extensively analyzed. Appendix A contains documentation of the SEMANOL specification, Appendix B contains a listing of the SEMANOL specification, and Appendix C contains revised documentation for the SEMANOL Interpreter. Additional details on the Validator and the Test Effectiveness Measurement Facility can be found in their respective Users Manuals. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1981
Accession Number
ADA102386

Entities

People

  • Marilyn S. Mcclanahan
  • Ruth M. Hart

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Ambiguity
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Data Storage Systems
  • Databases
  • Debugging
  • Formal Languages
  • Grammars
  • High Level Languages
  • Language
  • Linguistics
  • Programming Languages
  • Software Development
  • Standards
  • Test Sets

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Instructional Design and Training Evaluation.