Abstract
Data abstraction has come to play an important role in software development. This paper presents one view of what data abstraction is, how it was viewed when it was introduced, and its long-term impact on programming.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Brooks, The Mythical-Man Month, Anniversary Edition: Essays on Software Engineering, Addison-Wesley (1995).
O-J., Dahl, K. Nygaard, and B. Myhrhaug, “The SIMULA 67 Common Base Language,” Norwegian Computing Centre, Forskningsveien 1 B, Oslo (1968).
R.W. Floyd, “Assigning Meaning to Programs,” Proceedings of Symposium in Applied Mathematics, vol. IX, American Mathematical Society (1967).
J.V. Guttag, The Specification and Application to Programming of Abstract Data Types, Ph.D. Thesis, Dept. of Computer Science, University of Toronto (1975).
J.V. Guttag and J.J. Horning, “Formal Specification as a Design Tool,” Seventh ACM Symposium on Principles of Programming Languages, Las Vegas (1980).
J.V. Guttag, “Notes on Type Abstraction, Version 2” IEEE Transactions on Software Engineering vol. SE-6, no. 1 (1980).
C.A.R. Hoare, “An Axiomatic Basis for Computer Programming,” Communications of the ACM, vol. 12, no. 10(1969).
C.A.R. Hoare, “Proofs of Correctness of Data Representations,” Acta Informatica, vol. 1, no. 4 (1972).
C.A.R. Hoare, “Monitors: An Operating System Structuring Concept,” Communications of the ACM, vol. 17, no. 10(1974).
B. Liskov and S.N. Zilles, “Programming with Abstract Data Types,” Proceedings of ACM SIGPLAN Symposium on Very High Level Programming Languages, SIGPLAN Notices, vol. 9, no. 4 (1974).
B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert. “Abstraction Mechanisms in CLU,” Communications of the ACM, vol. 20, no. 8 (1977).
B Liskov and J. Guttag, Program Development in Java; Abstraction, Specification, and Object-Oriented Design, Addison-Wesley (2000).
J.H. Morris, “Types Are Not Sets,” ACM Symposium on the Principles of Programming Languages (1973).
D.L. Parnas, “Information Distribution Aspects of Design Methodology,” Proceedings of IFIP Congress 1971 (1971).
N. Wirth, “The Programming Language Pascal,” Acta Informatica, vol. 1, no. 1 (1972).
N. Wirth, Algorithms + Data Structures = Programs, Prentice-Hall, Englewood Cliff (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Guttag, J.V. (2002). Abstract Data Types, Then and Now. In: Broy, M., Denert, E. (eds) Software Pioneers. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59412-0_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-59412-0_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63970-8
Online ISBN: 978-3-642-59412-0
eBook Packages: Springer Book Archive