Semantic Algebras
Format for presenting semantic domains
- clearly states the structure of a domain and how its elements are used by the functions
- Encourages the development of a standard algebra module that may be used with many semantic definitions
- Makes it easier to analyse a semantic definition concept by concept.
- Makes it straightforward to alter a semantic definition by replacing one semantic algebra with another