Data reliability
ACM SIGPLAN NoticesPublished 1 April 1975
C. A. R. Hoare
Citations44
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
This paper surveys the problems of achieving data reliability, and finds them more severe than those of program reliability. It then outlines some of the conceptual and methodological tools which are available for the solution of these problems, including the concept of type, direct product, union, sequence, recursion and mapping. It touches on the topdown design of data and programs, and argues that references or pointers are to be avoided. It concludes with an annotated bibliography for further reading.
Keywords
Computer Science
Acta InformaticaProof of correctness of data representations
964 Citations1972C. A. R. Hoare
A powerful method of simplifying the proofs of program correctness is suggested and some new light is shed on the problem of functions with side-effects.
Acta InformaticaThe programming language pascal
722 Citations1971Niklaus Wirth
Pascal was developed on the basis of Algol 60 with emphasis placed on keeping the number of fundamental concepts reasonably small, on a simple and systematic language structure, and on efficient implementability.
Studies in logic and the foundations of mathematicsA Basis for a Mathematical Theory of Computation )
699 Citations1963John McCarthy
FigshareInformation distribution aspects of design methodology
317 Citations2018David Lorge Parnas
The role of documentation in the design and implementation of complex systems is explored, resulting in suggestions in sharp contrast with current practice, and the thesis that such information "broadcasting is harmful, that it is helpful if most system information is hidden from most programmers, is supported.
Another look at data
126 Citations1967George H. Mealy
This paper sketches a theory of data which may serve to clarify questions about data, based on a number of old ideas which may, as a result, seem obvious.
A design methodology for reliable software systems
104 Citations1972Barbara Liskov
Any user of a computer system is aware that current systems are unreliable because of errors in their software components.