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
Abstract
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.