D Display FormatTopB Abbreviated Abstract SyntaxC Concrete Syntax

C Concrete Syntax

The relationship between the concrete syntax and the corresponding abstract syntax is rather straightforward--except that mapping the use of mixfix notation in a concrete ATOM to an abstract ATOM depends on the declared operation and predicate symbols (although not on their profiles). Here, the relationship is merely suggested by the use of the same nonterminal symbols in the concrete and abstract grammars.

Examples of specifications illustrating the concrete syntax are given in Appendix E. Parsers for CASL are available via the CoFI Tools task group web page.

  • C.1 Introduction
  • C.2 Context-Free Syntax
  • C.2.1 Basic Specifications with Subsorts
  • C.2.2 Structured Specifications
  • C.2.3 Architectural Specifications
  • C.2.4 Specification Libraries
  • C.3 Disambiguation
  • C.3.1 Precedence
  • C.3.2 Mixfix Grouping Analysis
  • C.4 Lexical Syntax
  • C.5 Comments and Annotations
  • C.5.1 Comments
  • C.5.2 Annotations
  • C.6 Syntax for Literals
  • C.6.1 Literal syntax for numbers
  • C.6.2 Literal syntax for strings
  • C.6.3 Literal syntax for lists

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    D Display FormatTopB Abbreviated Abstract SyntaxC Concrete Syntax