On the Semantics of “Data Type”
- 1 November 1979
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 8 (4) , 546-560
- https://doi.org/10.1137/0208044
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Early experience with MesaCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- The impact of language design on the production of reliable softwareACM SIGPLAN Notices, 1975
- PASCAL User Manual and ReportPublished by Springer Nature ,1975
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- Towards a theory of type structureLecture Notes in Computer Science, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- A model for type checkingCommunications of the ACM, 1972
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964