Go backward to Library Concepts
Go up to Top
Go forward to Appendices:

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.

  • Libraries
  • Downloading
    • CoFI Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
    Comments to cofi-language@brics.dk