Seven sorts of programs

Authors:
R. S. Scowen;Z. J. Ciechanowicz
Affiliations:
National Physical Laboratory, Teddington, Middlesex, England;National Physical Laboratory, Teddington, Middlesex, England
Venue:
ACM SIGPLAN Notices
Year:
1982

Citing 2
Cited 0

A new technique for improving the quality of computer programs

ICSE '79 Proceedings of the 4th international conference on Software engineering
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual

Quantified Score

Hi-index	0.01

Visualization

Abstract

When computer scientists talk of debugging programs they mean detecting and removing the errors. This naturally encourages an over-simple view that a program is either right or wrong. This note suggests that there are at least seven degrees of correctness for a program. A simple Algol 60 program that calculates the average of up to ten numbers is used as an example.This note originally appeared as an appendix to a report on Compiler Validation published by NPL [SCOW80].