摘要: A number of issues are explored concerning the notion that a data type is set values together with primitive operations on those values. Among these need for notation iterating over elements any finite (instead more narrow i := 1 to n notation), use domain an array as type, simple allowing types parameters be themselves (but in restrictive fashion), and resulting problems conversion from one another.
acm.org
sci-hub.se 参考文章(16)
Ole-Johan Dahl, SIMULA 67 common base language, (Norwegian Computing Center. Publication) ,(1968)
Michael J. Fischer, Alice E. Fischer, Mode Modules as Representations of Domains. POPL. pp. 139- 143 ,(1973)
Tony Hoare, Hierarchical Program Structures ,(1972)
Wm. A. Wulf, Ralph L. London, Mary Shaw, Abstraction and Verification in Alphard: Introduction to Language and Methodology Springer, New York, NY. pp. 15- 60 ,(1976) , 10.1007/978-1-4612-5979-4_4
B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, G. J. Popek, Report on the programming language Euclid Sigplan Notices. ,vol. 12, pp. 1- 79 ,(1977) , 10.1145/954666.971189
Alice E. Fischer, Michael J. Fischer, Mode modules as representations of domains Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 139- 143 ,(1973) , 10.1145/512927.512940
James H. Morris, Types are not sets Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 120- 124 ,(1973) , 10.1145/512927.512938
Ben Wegbreit, The treatment of data types in EL1 Communications of the ACM. ,vol. 17, pp. 251- 264 ,(1974) , 10.1145/360980.360992
C. A. R. Hoare, A note on the for statement Bit Numerical Mathematics. ,vol. 12, pp. 334- 341 ,(1972) , 10.1007/BF01932305
Ole-Johan Dahl, Kristen Nygaard, SIMULA: an ALGOL-based simulation language Communications of The ACM. ,vol. 9, pp. 671- 678 ,(1966) , 10.1145/365813.365819