@INPROCEEDINGS{Hanus05WCFLP,
author = "Hanus, M.",
title  = "A Generic Analysis Environment for Declarative Programs",
year         = "2005",
booktitle    = "Proc.\ of the ACM SIGPLAN 2005 Workshop on Curry and Functional
                Logic Programming (WCFLP 2005)",
pages        = {43-48},
publisher    = {ACM Press},
abstract = {
In this paper we present CurryBrowser, a generic analysis environment
for the declarative multi-paradigm language Curry.  CurryBrowser
supports browsing through the implementation of an application written
in Curry, i.e., the main module and all directly or indirectly
imported modules.  Each module can be shown in different formats
(e.g., source code, interface, intermediate code) and, inside each
module, various properties of functions defined in this module can be
analyzed.  In order to support the integration of various program
analyses, CurryBrowser has a generic interface to connect local and
global analyses implemented in Curry.  CurryBrowser is completely
implemented in Curry using libraries for GUI programming and
meta-programming.
}
}