Contents

• Contents
• 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