CASL/Summary-v0.97 -- Structured Specifications

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 | CONS-EXTN | 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 SPEC SPEC+
CONS-EXTN        ::=  cons-extn SPEC SPEC+
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: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk