Accession Number:

ADA102386

Title:

JOVIAL (J73) Compiler Validator.

Descriptive Note:

Final technical rept. Aug 79-Mar 81,

Corporate Author:

TRW DEFENSE AND SPACE SYSTEMS GROUP REDONDO BEACH CA

Personal Author(s):

Report Date:

1981-06-01

Pagination or Media Count:

102.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE