Prev Up Next
Go backward to B Abbreviated Abstract Syntax
Go up to Top
Go forward to D Display Format

C Concrete Syntax

[DELETED]The relationship between the concrete syntax and the corresponding abstract syntax  [DELETED]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). Currently, the relationship is merely suggested by the use of the same nonterminal symbols in the concrete and abstract grammars.

Examples of specifications illustrating the proposed concrete syntax are given in Appendix E. Readers are encouraged to test the proposal on their own specifications. Some prototype parsers for CASL have been implemented:

  • 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.4 Lexical Syntax
  • C.5 Comments and Annotations
  • C.5.1 Comments
  • C.5.2 Annotations

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to

    Prev Up Next