Go backward to Basic Specifications with Subsorts
Go up to Appendix A: Abstract Syntax
Go forward to Named and Generic Specifications

Structured Specifications

  SPEC             ::=  BASIC-SPEC | TRANSLATION | REDUCTION
!                    |  UNION | EXTENSION | FREE-SPEC | LOCAL-SPEC
  TRANSLATION      ::=  translation SPEC SIG-MORPH
  REDUCTION        ::=  reduction RESTRICTION SPEC 
  RESTRICTION      ::=  restriction EXPOSURE SYMB+
  EXPOSURE         ::=  hiding | revealing
  UNION            ::=  union SPEC+
! EXTENSION        ::=  extension CONSERVATISM? SPEC+
! CONSERVATISM     ::=  conservative
  FREE-SPEC        ::=  free-spec SPEC
! LOCAL-SPEC       ::=  local-spec SPEC SPEC

  SIG-MORPH        ::=  sig-morph SYMB-MAP*
! SYMB-MAP         ::=  symb-map SYMB SYMB
  SYMB             ::=  SORT | FUN-SYMB | PRED-SYMB
CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk