Computer-Aided Program Development
Institute of Computer Science
Faculty of Engineering, Christian-Albrechts-University of Kiel
Logo of the Working Group
The KIEL System

The KIEL-System is an interactively controlled computer system for the visual execution of first-order functional programs written in a simple subset of Standard ML. KIEL is an acronym for "Kiel Interactive Evaluation Laboratory", and has especially been designed for teaching undergraduate students of computer science. It is developed at the Department of Computer Science and Applied Mathematics of Christian-Albrechts-University of Kiel. There are three different versions of KIEL: A Java Applet (with a restricted language), an application in the C programming language for Unix systems (current version: 2006), and a Linux port (also in C and also from 2006). This Web-page links to the Java Applet, describes how to get KIEL, and provides some further information (like documentation and example programs).

You can download the latest binaries of KIEL (August 2006) for LINUX here and for Sun/Solaris here as well as the sources of the system here. To run the KIEL-system, however, you additionally need the two files kiel.rc and kiel.rc.gtk, which you can download from our FTP-Server. Note that the files kiel.gz of the directories LINUX and SOLARIS of the FTP-Server are gzipped older versions of the system.

Please send any comments, bug reports and wishes for improvement of the system to:

Rudolf Berghammer, e-mail: rub@informatik.uni-kiel.de or

Ulf Milanese, e-mail: umi@informatik.uni-kiel.de.

Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40
D-24098 Kiel, Germany

Copyright notice

Copyright (C) 2002 Christian-Albrechts-University of Kiel

This software is free software; you can redistribute it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation (version 2.1 of the License).

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You can download a copy of the GNU Lesser General Public License; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

 
Rudolf Berghammer - rub@informatik.uni-kiel.de
Last modified: 31-Jul-2012, 14:17:49 MEST