@INPROCEEDINGS{Hanus02WFLP,
author = "Hanus, M.",
title  = "CurryDoc: A Documentation Tool for Declarative Programs",
year         = "2002",
address      = "Grado (Italy)",
booktitle    = "Proc.\ of the 11th International Workshop on Functional and
                (Constraint) Logic Programming (WFLP 2002)",
publisher    = "Research Report UDMI/18/2002/RR,
                Universit{\`a} degli Studi di Udine",
pages        = "225--228",
abstract = {
In this system demonstration we present CurryDoc, a tool for the
automatic generation of documentation manuals in HTML format from
programs written in the declarative multi-paradigm language Curry.
The documentation is generated by combining comments in the source
program with information extracted from the program.  It extends other
tools with a similar goal (e.g., javadoc, lpdoc) by the
inclusion of information in the generated documents which has been
computed by analyzing the structure and approximating the run-time
behavior of the program.  CurryDoc is completely implemented in Curry
and is used to generate the documentation of the libraries included in
PAKCS, a freely available implementation of Curry.
}
}