The Term Processor Kimwitu++

Abstract

Compiler builders have for a long time used tools that automate the frontend process of scanning and parsing the input. However, tools to handle the result of the parse are rarely found. Kimwitu++, the term processor, is an extension to the C++ language which eases the production of programs that operate on trees or terms, and as such is a tool which is well suited for this purpose. This paper presents an overview of Kimwitu++ with its different techniques such as rewriting and unparsing as well as some sample applications where we put it to use.