Next:
Identifiers
Up:
No Title
Previous:
Type Conformance
Basic Symbols
* basic_symbol ::= identifier | denotation | delimiter .
The representation of a SATHER-K program is a sequence of basic symbols interspersed by newline and spacing characters.
Identifiers
Predefined Identifiers
Denotations
Delimiters
Martin Trapp
Mon Feb 17 16:49:16 MET 1997
