Prev Up Next
Go backward to B.2 Structured Specifications
Go up to B Abbreviated Abstract Syntax
Go forward to B.4 Specification Libraries

B.3 Architectural Specifications

  ARCH-SPEC-DEFN   ::= arch-spec-defn ARCH-SPEC-NAME ARCH-SPEC
  ARCH-SPEC        ::= basic-arch-spec UNIT-DECL-DEFN+ RESULT-UNIT
                     | ARCH-SPEC-NAME
  UNIT-DECL-DEFN   ::= UNIT-DECL | UNIT-DEFN

  UNIT-DECL        ::= unit-decl UNIT-NAME UNIT-SPEC UNIT-IMPORTS
  UNIT-IMPORTS     ::= unit-imports UNIT-TERM*
  UNIT-DEFN        ::= unit-defn UNIT-NAME UNIT-EXPRESSION

  UNIT-SPEC-DEFN   ::= unit-spec-defn UNIT-SPEC-NAME UNIT-SPEC
  UNIT-SPEC        ::= unit-type SPEC* SPEC
                     | UNIT-SPEC-NAME | ARCH-SPEC

  RESULT-UNIT      ::= result-unit UNIT-EXPRESSION
  UNIT-EXPRESSION  ::= unit-expression UNIT-BINDING* UNIT-TERM
  UNIT-BINDING     ::= unit-binding UNIT-NAME UNIT-SPEC
  UNIT-TERM        ::= unit-translation UNIT-TERM RENAMING
                     | unit-reduction UNIT-TERM RESTRICTION
                     | amalgamation UNIT-TERM+
                     | local-unit UNIT-DEFN+ UNIT-TERM
                     | unit-appl UNIT-NAME FIT-ARG-UNIT*
  FIT-ARG-UNIT     ::= fit-arg-unit UNIT-TERM SYMB-MAP-ITEMS*

  ARCH-SPEC-NAME   ::= SIMPLE-ID
  UNIT-SPEC-NAME   ::= SIMPLE-ID
  UNIT-NAME        ::= SIMPLE-ID   

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

Prev Up Next