Up Next
Go up to 8.2 Unit Specifications
Go forward to 8.2.2 Architectural Unit Specifications

8.2.1 Unit Types

      UNIT-TYPE ::= unit-type SPEC* SPEC

A unit type is written:

SP1×...×SPn -> SP
When the list SPEC* of argument specifications is empty, the unit type is simply written `SP'.

A unit satisfies a unit type when it is a persistent function that maps compatible tuples of models of the argument specifications SP1, ..., SPn to models of their extension by the result specification SP.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up Next