$next$ $up$ $previous$ $contents$ $index$
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