@INPROCEEDINGS{Hanus06WLPE,
author = "Hanus, M.",
title  = "CurryBrowser: A Generic Analysis Environment for Curry Programs",
year         = "2006",
booktitle    = "Proc.\ of the 16th Workshop on Logic-based Methods in
                Programming Environments (WLPE'06)",
pages        = {61-74},
abstract = {
We present CurryBrowser, a generic analysis environment for the
declarative multi-paradigm language Curry.
CurryBrowser supports browsing through the program code 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.
}
}