Go backward to D Display Format
Go up to Top
Go forward to F Finalization
[CHANGED:] This appendix illustrates the concrete syntax of specifications in
CASL (although not all features of CASL, nor all styles of
specifications supported by CASL, are covered).
The examples are shown only in the display format, but the intended
input syntax should in general be easy to deduce--in fact, it should
be the same text as displayed when browsing the HTML-formatted version
of this document (modulo display annotations, which are needed for
displaying mathematical symbols such as u , as well as for
reserved input tokens such as `.'). The input syntax of the
examples is also available by
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to email@example.com