Brief ContentsTopE ExamplesFootnotes

Footnotes

 (1)
Permission is granted to anyone to make or distribute verbatim copies of this document, in any medium, provided that the copyright notice and permission notice are preserved, and that the distributor grants the recipient permission for further redistribution as permitted by this notice. Modified versions may not be made.
 (2)
In fact Sig is a category, and Sen(.) and Mod(.) are functors. The categorial aspects of the semantics of CASL are emphasized in its formal semantics [CoF97e].
 (3)
The choice of a particular proof system for CASL has been investigated, but not yet decided.
 (4)
The translation of such constraints along signature morphisms adds a further component, for technical reasons.
 (5)
A LOCAL-VAR-AXIOMS may still be written also vars VD1; ...; VDn  · F1 ... · Fm;, for backwards compatibility with CASL version 1.0.
 (6)
An AXIOM-ITEMS may still be written also axioms F1; ... Fn;, for backwards compatibility with CASL version 1.0.
 (7)
Mixfix notation is so-called because it generalizes infix, prefix, and postfix notation to allow arbitrary mixing of argument positions and identifier tokens.
 (8)
The occasional reference to the subsort and overloading relations in Part II may simply be ignored (or replaced by the identity relation) when the framework for basic specifications is restricted so as not to include these features.
 (9)
Declarations occurring anywhere in the enclosing list of basic items are taken into account when disambiguating the grouping of symbols in a term.
 (10)
%words delimiters identifying further formatters may be introduced in future versions of CASL.

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

Brief ContentsTopE ExamplesFootnotes