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


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.