Prev Up Next
Go backward to A.1 Basic Specifications
Go up to A Abstract Syntax
Go forward to A.3 Structured Specifications

A.2 Basic Specifications with Subsorts

  SORT-ITEM        ::= ... | SUBSORT-DECL | ISO-DECL | SUBSORT-DEFN

  SUBSORT-DECL     ::= subsort-decl SORT+ SORT
  ISO-DECL         ::= iso-decl SORT+
  SUBSORT-DEFN     ::= subsort-defn SORT VAR SORT FORMULA

  ALTERNATIVE      ::= ... | SUBSORTS
  SUBSORTS         ::= subsorts SORT+

  ATOM             ::= ... | MEMBERSHIP
  MEMBERSHIP       ::= membership TERM SORT

  TERM             ::= ... | CAST
  CAST             ::= cast TERM SORT
  

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

Prev Up Next