@INPROCEEDINGS{HanusKoj01WLPE,
author       = "Hanus, M. and Koj, J.",
title        = "An Integrated Development Environment for
                Declarative Multi-Paradigm Programming",
year         = "2001",
address      = "Paphos (Cyprus)",
booktitle    = "Proc.\ of the International Workshop on Logic Programming
                Environments (WLPE'01)",
note         = "Also available from the Computing Research Repository (CoRR)
                at {\tt http://arXiv.org/abs/cs.PL/0111039}",
pages        = "1-14",
abstract = {
In this paper 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 of our environment is the possible adaptation of the
development environment to other declarative source languages (e.g., Prolog or
Haskell) and the extensibility w.r.t.\ new analysis methods. To support the
latter feature, the lazy evaluation strategy of the underlying implementation
language Curry becomes quite useful.
}
}