ReferencesTop9 Library Concepts10 Library Constructs

10 Library Constructs

This chapter indicates the abstract and 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-III.

First, the constructs of local libraries are presented. Such libraries are not dependent on other libraries. Then constructs for referencing distributed libraries are added. Finally, the form and intended interpretation of library names are explained.

  • 10.1 Local Libraries
  • 10.2 Distributed Libraries
  • 10.3 Library Names

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    ReferencesTop9 Library Concepts10 Library Constructs