Computer-Aided Program Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel

Manual for the C-Application (and the Linux Port) KIEL:

The manual (340 KB, postscript, gzip) of the former release (1999) is also available as Bericht 9909 of the Institute of Computer Science and Applied Mathematics of the Christian-Albrechts-University. There exists also a manual (349 KB, postscript, gzip) of the second release (2001) of KIEL extending the original package. A manual of the current release (2006) is in preperation.

Detailed Description:

A detailed description of the C application (and the Linux Port) KIEL, including in particular the syntax diagrams of almost the entire language it currently supports (see below) and the form of the resources-files, can be found in the following Master theses:

• M. Tiedt: Kiel Interactive Evaluation Laboratory: "Eine Arbeitsumgebung zur Visualisierung von Termersetzungssemantik" (1414 KB, postscript, gzip)
  Institut für Informatik und Praktische Mathematik, Universität zu Kiel (1999).
  This thesis describes the first version of KIEL.

• H. Ernst: Benutzergesteuerte Termersetzung - Erweiterung von KIEL um datatype-Deklarationen und die Deklaration von Rechenvorschriften mit Mustererkennung (567 KB, postscript, gzip)
  Institut für Informatik und Praktische Mathematik, Universität zu Kiel (2001).
  This thesis contains the first extensions of the package's language: datatype declerations and definition of routines using pattern mateching.

• P. Mallach: Erweiterung des KIEL-Systems (1261 KB, pdf)
  Institut für Informatik, Universität zu Kiel (2006).
  This thesis contains further extensions of the package's language: tuple types, tuples, projection operations, local value declarations. Further new features of the tool are a call graph drawing and some changes in the graphical user interface.

The syntax diagrams of the language supported by the first extension of the C application can be found here. Some program examples can be found in the thesis of H. Ernst. For program examples of the newest version have a look at the thesis of P. Mallach.

A description of the Java Applet KIEL and how to use it to evaluate expressions is included in the following Master thesis:

• O. Lorenz: Von der C-Applikation zum Applet am Beispiel von KIEL (313 KB, postscript, gzip)
  Institut für Informatik und Praktische Mathematik, Universität zu Kiel (2000).

The syntax diagrams of the language supported by the Applet are included in its appendix or can be found here.