KIEL - A Computer System for Visualizing the Execution of Functional Programs
- System description -
Rudolf Berghammer, Ulf Milanese
In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
, Report No. 2017, University of Kiel
Abstract
We describe the computer system KIEL for visualizing the execution of
first-order functional programs via substitutions and simplifications.
KIEL has especially been designed for teaching undergraduate students
of Computer Science in functional programming. The system runs on all
UNIX-based systems and is available free of charge via FTP.