CASL/Summary -- 8.3.1.2 Unit Reductions

Go backward to 8.3.1.1 Unit Translations
Go up to 8.3.1 Unit Terms
Go forward to 8.3.1.3 Amalgamations

8.3.1.2 Unit Reductions

      UNIT-REDUCTION ::= unit-reduction UNIT-TERM RESTRICTION

A unit-reduction is written:

UT R

where the restriction R is written `hide SL' or `reveal SM', and determines a set of symbols, and in the latter case also a mapping of them, cf. Section 6.1.2.

It allows parts of the unit to be hidden and other parts to be simultaneously renamed.

CoFI Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk