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-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
