Proposal of some annotations and literal syntax in CASL

[Markus Roggenbach <roba@informatik.uni-bremen.de>]

Dear all,

our study note L-11

    Proposal of some annotations and literal syntax in CASL.

has been installed in the CoFI archives:

    http://www.brics.dk/Projects/CoFI/Notes/L-11/index.html
    ftp://ftp.brics.dk/Projects/CoFI/Notes/L-11/doc.dvi
    ftp://ftp.brics.dk/Projects/CoFI/Notes/L-11/doc.ps.Z

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)
    influencethe parsing of CASL specifications. The semantic annotations 
    express some requirements on  extensions,  namely to be conservative or
    definitional.

    \cite{M-6, M-7} can be seen as complementary notes, since they contain

    a rich fund of specifications using the annotations and syntax extensions
.

We hope for an interesting discussion in the language design group in Amsterdam
!

Greetings
   Markus and Till

P.S.: Although the note L-11 is self-contained you might want to take a
look at the related notes M-6 and/or M-7:

Note M-6  "Basic Datatypes in CASL"  is already installed in the
CoFi-archives:

    http://www.brics.dk/Projects/CoFI/Notes/M-6/index.html
    ftp://ftp.brics.dk/Projects/CoFI/Notes/M-6/doc.dvi
    ftp://ftp.brics.dk/Projects/CoFI/Notes/M-6/doc.ps.Z

Note M-7 "The Datatypes REAL and COMPLEX in CASL" is in preparation.