This package contains a tool to analyze the residuation behavior of Curry programs. The residuation behavior is abstracted in the form
- if arguments i1,i2,..,in are ground values, then the function does not residuate
- the function might residuate or evaluates to a non-ground value independent of the groundness of the arguments
The tool can simply show these analysis results or store the results as a Curry term of type
[(String,[Int])]
Thus, it is a list of pairs consisting of the
qualified function name and a list of argument indices
(numbered from 1).
The indices are either the required ground arguments or
[0] if the function might residuate.
This information can be used by Curry compiler
(e.g., PAKCS)
to optimize the compilation of non-residuating operations.
The tool has also options to show all possibly residuating operations
of a module or to print some statistics in CSV format (see option
--help).
The ideas about this analysis and its application are described in this paper:
M. Hanus: Improving Residuation in Declarative Programs
Proc. of the 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019), Springer LNCS 11372, pp. 82-97, 2019 (Online)