1 Naming Conventions
Naming schemes are both: tedious and important. Nobody likes to study
them, but without an underlying naming scheme libraries as the "Basic
Datatypes" are unreadable. The following guidelines allow for "typing by
name". Special care has been taken to design the naming conventions
for axiom labels. Here, the label name describes the role an axiom
plays within the context of a certain specification. Thus, the
specifier can document the intention behind a certain axiom by
qualifying its label. These qualifications might even be useful for
CASL tools.
CoFI
Note: M-6 -- Version: 0.7 -- June 2002.
Comments to cofi@informatik.uni-bremen.de
