Proving Program Correctness. Volume V.
Final technical rept. 1 Oct 77-30 Sep 80,
SYRACUSE UNIV NY SCHOOL OF COMPUTER AND INFORMATION SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software