This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.
In this note, we propose a set of (parsing and semantic) annotations and some syntax extensions for literals in CASL. The parsing annotations (for precedences and associativity) and syntax extensions (for lists, characters, strings, and numbers) influence the parsing of CASL specifications. The semantic annotations express some requirements on extensions, namely to be conservative or definitional.
[RM99][MR99] can be seen as complementary notes, since they contain a rich fund of specifications using the annotations and syntax extensions.