Preview
Unable to display preview. Download preview PDF.
References
Dahl, O.-J., K. Nygaard and B. Myhrhaug, The Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Technical Report.
Dahl, O.-J., E.W. Dijkstra and C.A.R. Hoare, Structured Programming, Academic Press, 1972.
Fisher, David, Department of Defense Requirements for High Order Computer Programming Languages ("TINMAN") June 1976.
Gannon, J.D. and J.J. Horning, "The Impact of Language Design on the Production of Reliable Software", Proc. International Conference on Reliable Software, Los Angeles, April 1975, pp. 10–22.
Gries, David and Narain Gehani, "Some Ideas on Data Types in High Level Languages", Department of Computer Science, Cornell University, TR 75–244.
Guttag, J.V., The Specification and Application to Programming of Abstract Data Types, Technical Report CSRG-59, Computer Systems Research Group, Toronto, 1975.
Jensen, Kathleen and Niklaus Wirth, PASCAL User Manual and Report, Springer-Verlag, 1975.
Koster, Cornelis H.A., "Visibility and Types" Proc. of Conference on Data: Abstraction, Definition and Structure, SIGPLAN Notices, Volume 8, Number 2 (Special Issue), 1976, pp. 179–190.
Lampson, B.W., J.J. Horning, R.L. London, J.G. Mitchell, and G.S. Popek, Euclid Report (draft), private communication, 1976.
Ledgard, Henry F., "A Model for Type Checking — with an Application to Algol 60", Comm. ACM, Volume 15, Number 11 (November 1972), pp. 956–966.
Liskov, Barbara and Steven Zilles, "Programming with Abstract Data Types", Computation Structures Memo 99, Project MAC, M.I.T., March 1974.
Liskov, Barbara H., "An Introduction to CLU", Computation Structures Group Memo 136, Laboratory for Computer Science, M.I.T., February 1976.
Morris, James H., Jr., "Protection in Programming Languages", Comm. ACM, Volume 16, Number 1 (January 1973), pp. 15–21.
Richards, M., "BCPL: A Tool for Compiler and System Writing", Proceedings of the SJCC, Volume 34, 1969, pp. 557–566.
Reynolds, John C., "User Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction", Conference on New Directions in Algorithmic Languages, IFIP Working Group 2.1, Munich, August 1975.
Wirth, Niklaus, "An Assessment of the Programming Language PASCAL", Proc. International Conference on Reliable Software, Los Angeles, April 1975, pp. 23–30.
Wulf, W.A., D.B. Russell and A.N. Habermann, "BLISS: A Language for Systems Programming", Comm. ACM, Volume 14, Number 12 (December 1971), pp. 780–790.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demers, A.J., Donahue, J.E., Teitelbaum, R.T., Williams, J.H. (1977). Encapsulated data types and generic procedures. In: Williams, J.H., Fisher, D.A. (eds) Design and Implementation of Programming Languages. Lecture Notes in Computer Science, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021423
Download citation
DOI: https://doi.org/10.1007/BFb0021423
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08360-3
Online ISBN: 978-3-540-37260-8
eBook Packages: Springer Book Archive