Patterns for Definitions
In COLD-1, systems and system components are described by definitions of sorts and operations as well as axioms and theorems. This chapter treats all relevant language constructs with the accent on the form, the intended use and typical examples. Some examples will be taken from the vending machine case in the previous chapter.
KeywordsFile System Function Definition Variable Predicate Procedure Definition Inductive Definition
Unable to display preview. Download preview PDF.