Prev Up Next
Go backward to A Abstract Syntax
Go up to Top
Go forward to C Concrete Syntax

B Abbreviated Abstract Syntax

[CHANGED:] [] 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-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to

    Prev Up Next