Data types as values: polymorphism, type-checking, encapsulation

ABSTRACT

This paper describes a novel approach to the treatment of data types in programming languages, which allows a simple interpretation of "polymorphic" or "generic" procedures, makes a simple set of type-checking rules semantically justifiable and provides a straightforward treatment of encapsulation.

REFERENCES

• 1: James E. Donahue, On the Semantics of "Data Type", Cornell University, Ithaca, NY, 1977
• 2: J. D. Gannon, An experimental evaluation of data type conventions, Communications of the ACM, v.20 n.8, p.584-595, Aug. 1977 [doi>10.1145/359763.359800]
• 3: David Gries , Narain Gehani, Some ideas on data types in high-level languages, Communications of the ACM, v.20 n.6, p.414-420, June 1977 [doi>10.1145/359605.359624]
• 4: {Guttag, 1975} John W. Guttag, The Specification and Application to Programming of Abstract Data Types, University of Toronto Technical Report CSRG-59, September, 1975.
• 5: John Guttag, Abstract data types and the development of data structures, Communications of the ACM, v.20 n.6, p.396-404, June 1977 [doi>10.1145/359605.359618]
• 6: {Hoare, 1972} C. A. R. Hoare, "Notes on Data structuring", in Dahl, Dijkstra, and Hoare, Structured Programming, Academic Press, 1972.
• 7: {Hoare, 1973} C. A. R. Hoare, "Hints on Programming Language Design", Conference Record of SIGACT/SIGPLAN Symposium on Principles of Programming Languages October, 1973.
• 8: Kathleen Jensen , Niklaus Wirth, Pascal-User Manual and Report, Springer-Verlag New York, Inc., Secaucus, NJ, 1975
• 9: {Jones and Liskov, 1977} Anita K. Jones and Barbara H. Liskov, "A Language Extension for Expressing Constraints on Data Access", C.M.U. Technical Report, April, 1977.
• 10: Cornelis H.A. Koster, Visibility and types, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.179-190, March 22-24, 1976, Salt Lake City, Utah, United States
• 11: B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
• 12: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 13: Robert Milne , C. Strachey, A Theory of Programming Language Semantics, Halsted Press, New York, NY, 1977
• 14: D. L. Parnas , John E. Shore , David Weiss, Abstract types defined as classes of variables, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.149-154, March 22-24, 1976, Salt Lake City, Utah, United States
• 15: {Scott, 1976} D. Scott, "Data Types as Lattices", SIAM J. Computing 5:3, September, 1976.
• 16: Dana S. Scott, Logic and programming languages, Communications of the ACM, v.20 n.9, p.634-641, Sept. 1977 [doi>10.1145/359810.359826]
• 17: {SIGPLAN, 1976} Proceedings of CONFERENCE on DATA: Abstraction, Definition and Structure,SIGPLAN Notices, Volume II, 1976 Special Issue.
• 18: {Tennent, 1977} R. D. Tennent, "Language Design Methods Based on Semantic Principles", Acta Informatica 8:2, 1977, pp 97-112.
• 19: {Wulf et al, 1976} William Wulf, Ralph London, and Mary Shaw, "Abstraction and Verification in Alphard: Introduction to Language and Methodology," USC\ISI Research Report 76-46, June 1976.
• 20: {Wulf, 1977} William Wulf, private communication.