Affiliation:
1. Cornell Univ., Ithaca, NY
2. State Univ. of New York, Buffalo
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.
Publisher
Association for Computing Machinery (ACM)
Reference17 articles.
1. SIMULA: an ALGOL-based simulation language
2. Mode modules as representations of domains
3. Gehani N. Ph.D. Th. Cornell U. Ithaca N.Y. Aug. 1975.]] Gehani N. Ph.D. Th. Cornell U. Ithaca N.Y. Aug. 1975.]]
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献