Go backward to
6.1.6 Local Specifications
Go up to
6.1 Structured Specifications
6.1.7 Closed Specifications
CLOSED-SPEC ::= closed-spec SPEC
A closed specification
CLOSED-SPEC
is written:
closed
{
SP
}
It determines the same signature and class of models as
SP
determines in the empty local environment, thus ensuring the closedness of
SP
.
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
