Proving Program Correctness. Volume V.

Abstract

The 'Language Studies' contract is divided into four project areas, all of which are directed to the problems of effectively, reliably and efficiently using modern computers in a wide range of applications. Three of the projects deal with methods of communicating with computers. Proving Program Correctness (P.O.: J.C. Reynolds). This group is working towards programming language designs which increase the probability that specification errors will be detected by the compiler or interpreter and to provide the language facilities so that users will more nearly be able to prove that programs perform as they are specified than is currently possible.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1981
Accession Number
ADA110810

Entities

People

  • John C. Reynolds

Organizations

  • Syracuse University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Calculus
  • Command And Control
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computers
  • Grammars
  • Information Science
  • Mathematics
  • Monotone Functions
  • New York
  • Numerical Analysis
  • Procedural Programming Language
  • Programming Languages
  • Side Effects

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Systems Analysis and Design