Whole Array and Additional Array Features

Abstract

The aims of the chapter are:

• To look more formally at the terminology required to precisely describe arrays.

• To introduce ways in which we can manipulate whole arrays and parts of arrays (sections).

• To introduce the concept of array element ordering and physical and virtual memory.

• To introduce ways in which we can initialise arrays using array constructors.

• To introduce the where statement and array masking.

• To introduce the forall statement and construct.

• Physical and virtual memory

• Type declaration statement summary.

A good notation has a subtlety and suggestiveness which at times make it seem almost like a live teacher.

Bertrand Russell