| Publication type: |
Unpublished |
| Author: |
Markus Roggenbach, Till Mossakowski |
| Title: |
Proposal of some annotations and literal syntax in CASL |
| Year published: |
1999 |
| Abstract: |
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.
|
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/L-11/index.html |
| Keywords: |
CASL parsing syntax annotation precedence associativity |
| Note / Comment: |
CoFI note L-11 |
| Status: |
Other |
| Last updated: |
13. 02. 2007 |
|
 |
