Accession Number:

ADA048257

Title:

The Verification of COBOL Programs.

Descriptive Note:

Technical documentary rept.,

Corporate Author:

STANFORD RESEARCH INST MENLO PARK CALIF

Personal Author(s):

Report Date:

1975-06-15

Pagination or Media Count:

99.0

Abstract:

This report describes the progress of an investigation concerning the verification of COBOL programs. The report contains discussions of program verification, the COBOL language, and the role of structured programming in COBOL verification. The report also contains a presentation of a COBOL subset suitable for an experimental verification system--its syntax and semantics. The report also contains a discussion of the assertion language and rules of inference to be used in a COBOL verification system. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE