Imperative Data


storage | cell | storable | uninitialized | initialized S

   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.


    Imperative Action Index | Imperative Actions | Imperative Yielders | Imperative Data