Proposal of Some Annotations and Literal Syntax in CASL
11 March 1999
This document is available by
in various formats.
It was converted to HTML using
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
Note: L-11 -- Version: 0.1 -- 11 March 1999.
Comments to email@example.com