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

10 Library Constructs

This section describes the abstract syntax and determines the intended interpretation of the language constructs for specification libraries, extending that given for basic, structured, and architectural specifications in Parts I-III.

  • 10.1 Libraries
  • 10.2 Distributed Libraries and Downloading

  • CoFI Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
    Comments to cofi-language@brics.dk

    Prev Up Next