2 Basic Specifications
Being the elementary building blocks of CASL specifications, basic
specification should be carefully designed. In order to obain
readability, the different kinds of CASL basic items should be
arranged in a prescribed order. Signatures should be both: `naturally'
small and `complete'. The combination of datatypes and subsorting
needs to be dealt with. Finally, there are guidelines how to characterize
the domain of partial functions.
Note: M-6 -- Version: 0.7 -- June 2002.
Comments to email@example.com