Go up to Top
Go forward to 2 Why union AND extension?
1 How often to name a subspecification
Any meaningful sub-specification should be named or
made into a generic specification. This allows reusing
them without having to repeat their definition.
The size of a named or generic specification, in general, should
be less than half of a printed page, excluding comments.2
Named specifications are reused by referring to their name, or by instantiation,
in case of generic specifications.
Translation can be used to adapt the
symbols from the named specification to the requirements of the
context. This may be either renaming symbols to names also
present in the context to force sharing, or equally well to names
not present in the context to avoid sharing.
CoFI
Note: M-1 --0.1-- 18 Sep 1997.
Comments to hubert@mpi-sb.mpg.de