storage: a subsort of map. Its individuals
represents states of stable information, associating cells with
storable (or uninitialized) individuals.
cell: a subsort of distinct-datum. Its
individuals represent the locations of pieces of stable information.
Left loosely-specified, as the details are implementation-dependent.
storable: a subsort of data. Left unspecified,
as it depends on the variety of stable information processed by the
programs of a programming language.
uninitialized: an individual datum. Represents the
absence of a stored datum in a reserved cell.
initialized S: the restriction of the storage S
obtained by omitting uninitialized cells.
|