A strict monolithic array constructor

Arrays have posed a serious persistent challenge to the efficient implementation of functional languages. The authors propose a new monolithic array constructor which provides a solution to two major problems arising in the implementation of monolithic arrays: the overhead of scheduling and synchronization for recursively defined arrays; the copying of the intermediate arrays during array construction. The array constructor allows an index domain to be constructed from a set of rectangular index regions and combinations of these. An ordered sequence of regions may be specified in a fashion which can be checked by a compiler using simple subscript analysis techniques. An array is also allowed to be monotonically defined by iteration without using incremental array update operations.<
>