CIDER: An Integrated Devlopment Environment for Curry
- System description -

Michael Hanus, Johannes Koj

In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001) , Report No. 2017, University of Kiel


In this system demonstration we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is a graphical environment to support the development of Curry programs by providing integrated tools for the analysis and visualization of programs. CIDER is completely implemented in Curry using libraries for GUI programming (based on Tcl/Tk) and meta-programming. An important aspect is the extensibility of the development environment w.r.t. new analysis methods, since a new program analysis can be easily added to our environment. For this feature the lazy evaluation strategy of the underlying implementation language Curry becomes quite useful.