Prev Up Next
Go backward to 9 Library Concepts
Go up to Top
Go forward to References

10 Library Constructs

This chapter indicates the abstract and  [DELETED]concrete syntax of the constructs of specification libraries, and describes their intended interpretation, extending what was provided for basic, structured, and architectural specifications in Parts I, II, and III.

First, the constructs of local libraries are presented. These are not dependent on other libraries. Then constructs for referencing distributed libraries are added.

  • 10.1 Local Libraries
  • 10.2 Distributed Libraries

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next