%0 Unpublished Work %1 Roggenbach99 %A Roggenbach, Markus %A Mossakowski, Till %D 1999 %K CASL annotation associativity parsing precedence syntax %T Proposal of some annotations and literal syntax in CASL %U http://www.informatik.uni-bremen.de/cofi/old/Notes/L-11/index.html %X 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. RM99MR99 can be seen as complementary notes, since they contain a rich fund of specifications using the annotations and syntax extensions.

@unpublished{Roggenbach99, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Roggenbach, Markus and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2d9f806511799ba5b34550154cbc5f005/tillmo}, interhash = {7ef2292f82b548ab004b8f71ef730424}, intrahash = {d9f806511799ba5b34550154cbc5f005}, keywords = {CASL annotation associativity parsing precedence syntax}, note = {CoFI note L-11}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Proposal of some annotations and literal syntax in CASL}, url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/L-11/index.html}, year = 1999 }