Go backward to Structured Specifications
Go up to Appendix A: Abstract Syntax
Go forward to Architectural and Unit Specifications

Named and Generic Specifications

! SPEC-DEFN        ::=  spec-defn SPEC-NAME SPEC
! GEN-SPEC-DEFN    ::=  gen-spec-defn GEN-SPEC-NAME GEN-SPEC
! GEN-SPEC         ::=  gen-spec CONSERVATISM? SPEC+ SPEC

  SPEC             ::=  ... | SPEC-NAME | GEN-SPEC-INST
  GEN-SPEC-INST    ::=  gen-spec-inst GEN-SPEC-NAME FITTING-ARG+ SIG-MORPH?
  FITTING-ARG      ::=  fitting-arg SPEC SIG-MORPH?

  SPEC-NAME        ::=  SIMPLE-ID
! GEN-SPEC-NAME    ::=  SIMPLE-ID

  ID               ::=  ... | COMPOUND-ID
  COMPOUND-ID      ::=  compound-id SIMPLE-ID ID+
CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk