@ARTICLE{Hanus25LOPSTR,
author       = {Hanus, M.},
title        = {CurryInfo: Managing Analysis and Verification Information about Curry Packages},
year         = {2025},
booktitle    = {Proceedings of the 35th International Symposium on Logic-Based
                Program Synthesis and Transformation (LOPSTR 2025)},
pages        = {123-134},
publisher    = {Springer LNCS 16117},
doi          = {10.1007/978-3-032-04848-6\_8},
abstract = {
CurryInfo is a tool to manage information about program entities
defined in modules of Curry packages.  CurryInfo is designed as a
generic and extensible system so that the kind of information
ranges from syntactic (e.g., comments, types, source code) to
semantic aspects (e.g., determinism, termination, total
definition, non-failing). CurryInfo collects such information
and provides various methods to access them.  For instance, one
can show this information in a REPL or IDE to help the programmer
to select or use operations in an appropriate manner.  Another
application is to include this information in other tools to
analyze or verify programs.  Since CurryInfo manages a cache
containing information about all Curry packages, this can speed
up such tools on larger applications.
}
}