The Verification of COBOL Programs.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 15, 1975
Accession Number
ADA048257

Entities

People

  • J. M. Spitzen
  • L. Robinson
  • M. W. Green

Organizations

  • SRI International

Tags

Communities of Interest

  • Advanced Electronics
  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computers
  • Connectors
  • Contracts
  • Formal Languages
  • Grammars
  • Instruction Set Architecture
  • Language
  • Linguistics
  • Lisp Programming Language
  • Operating Systems
  • Programming Languages
  • Semantics
  • Specifications
  • Standards
  • Structured Programming

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computer Science.
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Machine Translation