C Concrete SyntaxTopA Abstract SyntaxB Abbreviated Abstract Syntax

B Abbreviated Abstract Syntax

The full grammar, defining the same (tree) language but using more nonterminal symbols, is given in Appendix A.

The following nonterminal symbols correspond to lexical syntax, and are left unspecified in the abstract syntax: WORDS, DOT-WORDS, SIGNS, DIGIT, DIGITS, NUMBER, QUOTED-CHAR, PLACE, URL, and PATH.

  • B.1 Basic and Subsorted Specifications
  • B.2 Structured Specifications
  • B.3 Architectural Specifications
  • B.4 Specification Libraries

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

    C Concrete SyntaxTopA Abstract SyntaxB Abbreviated Abstract Syntax