C Concrete Syntax

The relationship between the concrete syntax and the corresponding abstract syntax is rather straightforward--except that mapping the use of mixfix notation in a concrete ATOM to an abstract ATOM depends on the declared operation and predicate symbols (although not on their profiles). Currently, the relationship is merely suggested by the use of the same nonterminal symbols in the concrete and abstract grammars.

Examples of specifications illustrating the concrete syntax are given in Appendix E. Some prototype parsers for CASL have been implemented (see the CoFI Tools task group web page).