Go backward to 6.2 Named and Parametrized Specifications
Go up to 6 Structuring Constructs
Go forward to 6.4 Symbol Lists and Mappings
6.3 Views
Views between specifications are named by view definitions, and referenced
by use of the name. A named view may also have some
parameters, which have to be instantiated when referencing the
view.
CoFI
Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk