Go backward to C.1 Introduction
Go up to C Concrete Syntax
Go forward to C.3 Disambiguation
C.2 Context-Free Syntax
The grammar in this section uses uppercase words for nonterminal
symbols, allowing also hyphens. All other characters stand for
themselves, with the following exceptions:
- `::=' and `|' are generally used as meta-notation,
as in BNF;
- A string of characters enclosed in double quotation marks
`"..."' always stands for the enclosed characters themselves;
- `N t...t N' indicates one or more
repetitions of the nonterminal symbol N separated by the
terminal symbol t (which is usually a comma or semicolon);
- `N...N' is simply one or more repetitions of
N
(occasionally, N here is a sequence of terminal
and nonterminal symbols, such as `[ SPEC ]';
- `var/vars' indicates that the singular and plural forms
may be used interchangeably, and similarly for other keywords;
`end/' indicates that the use of `end' is optional, and
similarly for semicolons: `;/'.
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk