Go backward to Named and Generic Specifications
Go up to Appendix A: Abstract Syntax
Go forward to Specification Libraries

Architectural and Unit Specifications

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

! UNIT-DECL-DEFN   ::=  UNIT-DECL | UNIT-DEFN
  UNIT-DECL        ::=  unit-decl UNIT-NAME UNIT-SPEC
! UNIT-DEFN        ::=  unit-defn UNIT-NAME UNIT-TERM

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

  RESULT-UNIT      ::=  result-unit UNIT-DECL* UNIT-TERM
  UNIT-TERM        ::=  UNIT-APPL | UNIT-REDUCT
  UNIT-APPL        ::=  unit-appl UNIT-NAME UNIT-TERM*
  UNIT-REDUCT      ::=  unit-reduct SIG-MORPH UNIT-TERM

! ARCH-SPEC-NAME   ::=  SIMPLE-ID
! UNIT-SPEC-NAME   ::=  SIMPLE-ID
  UNIT-NAME        ::=  SIMPLE-ID
CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk