Prev Up Next
Go backward to A Abstract Syntax
Go up to Top
Go forward to C Concrete 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, SIGNS, DOT-WORDS, PLACE, URL, and NUMBER.

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

  • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next