Proposal of Some Annotations and Literal Syntax in CASL

Markus Roggenbach
Till Mossakowski

11 March 1999

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.

Full Contents

  • 1 Version History
  • 2 Introduction
  • 3 Semantic Annotations
  • 3.1 Syntactical Schemes for Conservative and Definitional Extensions
  • 4 Parsing Annotations
  • 4.1 Precedence Annotations
  • 4.2 Associativity Annotations
  • 4.3 Visibility and Interaction with Structured Specifications
  • 5 Syntax Extensions
  • 5.1 Extended Syntax for Functions on Argument Lists
  • 5.2 Extended Syntax for Numbers
  • 5.2.1 Two Different Approaches
  • 5.2.2 Proposal for an Extended Syntax for Numbers
  • 5.2.3 Representation of Numbers in Notes M-6 and M-7
  • Natural Numbers:
  • Integers:
  • Rational Numbers:
  • Real Numbers:
  • Complex Numbers:
  • 5.3 Extended Syntax for Characters and Strings
  • References
  • Footnotes

  • CoFI Note: L-11 -- Version: 0.1 -- 11 March 1999.
    Comments to