whether the compiler generates array index checking code for run time

whether the language requires all arrays to be indexed starting at 0 or not

whether all the dimensions must be of the same size

whether all the indices must be of a whole number type

whether all the elements can be of the same type