Next:
License
The Term Processor
Kimwitu
Manual and Cookbook
Peter van Eijk - Axel Belinfante
April 17, 2000
License
Contact
About this document
Contents
Introduction
Input
Defining Terms
Attributes of Terms
Storage Options
Life Time of Terms
Function Definitions
Rewrite Definitions
Unparsing Definitions
Including Other Definitions
Output
Generated Data Types
Generated Functions
Predefined Phyla and Operators
File Names, Preprocessor Symbols and Redirection
Overview of Generated Names
Debugging Support
Running It
The Program and the Files
A Makefile
Using
lint
Interfacing with Yacc and Lex
Interfacing with Structure Files and the Synthesizer Generator
Cookbook
Structural Induction
Unparsing
Attribute Grammars
Abstract Data Types and Rewrite Systems
Rewrite Systems and Functions
Memo Functions
Beyond Symbol Tables
Design Considerations for
Kimwitu
Why a Type per Phylum?
What is in a Name?
What is the Place in Software Engineering?
Acknowledgements
Syntax of the
Kimwitu
input
Structure File Encoding
Compatibility with previous versions of Kimwitu
Define-before-use constraints
Node-sharing in Structure Files
The UNIQMALLOC2 Macro
The
KIMW_
Redirection Symbols and Macros
The
view
Enumerated Type
Future
CSGIO Structure File IO Routines
Conditional Rewrite Rules
User Defined Atomic Phyla
Generation of C++ code
Support for Sets, Queues, Stacks, Arrays, etc.
Polymorfism
Hash Management
Bibliography
Index
About this document ...
2000-04-17
