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.
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk