Deductive semantics of file processing operators and its application to verification of COBOL programs

zbMath0517.68035MaRDI QIDQ1053450

V. A. Petrushin, I. V. Kasatkina

Publication date: 1982

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

correctness of COBOL programsdeclarative proceduressemantics of COBOL file processing facilities

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• COBOL

This page was built for publication: Deductive semantics of file processing operators and its application to verification of COBOL programs