The Verification of COBOL Programs.
Technical documentary rept.,
STANFORD RESEARCH INST MENLO PARK CALIF
Pagination or Media Count:
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
- Computer Programming and Software