Data types and program correctness

Authors:
Barbara H. Liskov
Affiliations:
Massachusetts Institute of Technology, Cambridge, Massachusetts
Venue:
ACM SIGPLAN Notices - Special issue on programming language design
Year:
1975

Citing 3
Cited 1

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

A proposal for a generalized “FOR” statement

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract