Next:
Defining Terms
Up:
The Term Processor Kimwitu
Previous:
Introduction
Input
This section gives the input structure of
Kimwitu
. We describe how terms are defined, how attributes of terms are defined, how the storage strategy of terms can be specified, and how functions and rewrite rules on terms can be written.
Defining Terms
Attributes of Terms
Storage Options
Life Time of Terms
Function Definitions
Rewrite Definitions
Unparsing Definitions
Including Other Definitions
2000-04-17