Allocating Storage for Extendible Arrays
Journal of the ACM (JACM)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
Operations on generalized arrays with the genie compiler
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Recent developments in the theory of data structures
Computer Languages
Hi-index | 0.00 |
In intuitive terms, a multilevel array is either a scalar or an array each of whose elements is a multilevel array. The "semantics" of multilevel arrays can be easily expressed in terms of a notion of selector, which is basically that of the Vienna Definition Language. These selectors provide both a notational devicfeo r accessing multilevel arrays and a clean mathematical definition of "multilevel array with data domain D." However, the definition so obtained lacks the recursive flavor of the intuitive definition. By means of an axiomatic characterization of multilevel arrays, the selector-based definition and the recursive definition are shown to be equivalent.