Data types and program correctness

Authors:
Barbara H. Liskov
Affiliations:
Massachusetts Institute of Technology, Cambridge, Massachusetts
Venue:
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Year:
1975

Citing 6
Cited 0

Toward an understanding of data structures

Communications of the ACM
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
Specification techniques for data abstractions

Proceedings of the international conference on Reliable software
Chapter I: Notes on structured programming

Structured programming
Another look at data

AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Dataless programming

AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the most important current software issues is reliability, and accordingly, a major criterion of programming language design must be that the language contribute to the production of reliable programs. Although there are other important aspects of software reliability (e.g., fault tolerance), the most fundamental is program correctness: does the program do what it is supposed to do? A language can contribute to this goal by enhancing the provability of its programs. This paper discusses the impact of user-defined data types on program provability.