Some ideas on data types in high-level languages
- 1 June 1977
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 20 (6) , 414-420
- https://doi.org/10.1145/359605.359624
Abstract
A number of issues are explored concerning the notion that a data type is a set of values together with a set of primitive operations on those values. Among these are the need for a notation for iterating over the elements of any finite set (instead of the more narrow for i := 1 to n notation), the use of the domain of an array as a data type, the need for a simple notation for allowing types of parameters to be themselves parameters (but in a restrictive fashion), and resulting problems with conversion of values from one type to another.Keywords
This publication has 7 references indexed in Scilit:
- Abstract data types and the development of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- The treatment of data types in EL1Communications of the ACM, 1974
- Programming with abstract data typesPublished by Association for Computing Machinery (ACM) ,1974
- Mode modules as representations of domainsPublished by Association for Computing Machinery (ACM) ,1973
- Types are not setsPublished by Association for Computing Machinery (ACM) ,1973
- A note on the for statementBIT Numerical Mathematics, 1972
- SIMULA: an ALGOL-based simulation languageCommunications of the ACM, 1966