Prev Up
Go backward to C.5.2.3 Parsing Annotations
Go up to C.5.2 Annotations

C.5.2.4 Semantic Annotations

These annotations are used to express known (or presumed) features of the semantics of the specification, e.g., that an extension is `conservative', or that certain formulae are consequences of the specification. A set of semantic annotations has been proposed, but not yet decided.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up