CASL/Summary-v0.97 -- Architectural and Unit Specifications

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

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: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk