Accession Number:

ADA110810

Title:

Proving Program Correctness. Volume V.

Descriptive Note:

Final technical rept. 1 Oct 77-30 Sep 80,

Corporate Author:

SYRACUSE UNIV NY SCHOOL OF COMPUTER AND INFORMATION SCIENCE

Personal Author(s):

Report Date:

1981-11-01

Pagination or Media Count:

95.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE