Prev Up Next
Go backward to 6.2 Named and Parametrized Specifications
Go up to 6 Structuring Constructs
Go forward to 6.4 Symbol Lists and Mappings


[CHANGED:] 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. []

  • 6.3.1 View Definitions
  • 6.3.2 Fitting Views

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

    Prev Up Next