The Term Processor Kimwitu

Welcome to the Kimwitu page.

You may also want to have a look at the kimwitu++ page, which describes a C++ based derivative, based on Kimwitu version 4.4 (I think). Note, however, that Kimwitu-generated code can be compiled both as C and as C++ code, as far as we currently know, both under unix and Windows NT.

We try to answer the following questions here:

• Kimwitu, what's that?
• Where can I read more about it?
  • technical report: Peter van Eijk, Axel Belinfante, Henk Eertink and Henk Alblas, "The Term Processor Generator Kimwitu", Dec 1996, CTIT Technical report 96-49.
  • paper (tool presentation), a somewhat shortened version of the above: Peter van Eijk, Axel Belinfante, Henk Eertink and Henk Alblas, "The Term Processor Generator Kimwitu", accepted for TACAS '97.
  • slides of the tool presentation at TACAS '97. (gzipped postscript)
    (the pages with a number of the form 'nr-subnr' have been showed as demo)
    (is also available as html; this version has a little more explanation than the postscript slides)
  • technical report, somewhat older: Peter van Eijk, Axel Belinfante and Henk Eertink, "The Termprocessor Kimwitu, a system for generating language-based software", Nov 1990, University of Twente memorandum INF-90-70.
• Are there other Kimwitu users on the Web?
  If you have a tool, application or paper that we can link to, feel free to let us know!!
• Do you have some examples?
  • from the demo at TACAS'97 (gzipped tar file)
  • from the manual (see below) (gzipped tar file)
• Where is the manual?
  
  • Here it is in html...
  • Thanks... but... do you have it also in gzip-ed postscript?
  • And... what about pdf?
• Do I need a License?
  • Starting with version v4.6.1, Kimwitu is distributed under the GNU Public License.
    Look here for our license. Version v4.6.1 is technically identical to version v4.6, except for the license.
  • Look here for our old license.
• Where is the source?
  • latest version (with GNU Public License) v4.6.1 - gzipped tar file, 490Kb
  • latest version (with old license) v4.6 - gzipped tar file, 490Kb
  • LaTeX source of the documentation (with GNU Public License) -- gzip-ed tar file, 695 Kb; includes ready-made pdf and ps
  • LaTeX source of the documentation (with old license) -- gzip-ed tar file, 210 Kb; includes ready-made ps
• What changed since last version?
• How do I install it?
• How do I report a bug or feature-request?
  Using the gnatsweb form, that also can be used to view current Problem Reports.
• What are your plans for the future?

If you want to link to or bookmark this page, please use the Persistent URL http://purl.oclc.org/net/kimwitu.

Last updated on 2007-03-28 by kimwitu@cs.utwente.nl