Call Pattern Analysis for Curry Programs

Here are some resources related to an initial prototype for analyzing call patterns in Curry programs.

• This technical report describes the ideas and techniques of the call pattern analysis.
• The prototype implementation is available as a tar file. The implementation is based on the Curry programming environment PAKCS (Version 1.9.0 or higher) but can be also executed with a recent version of the Curry compiler KiCS. The tar file contains the sources of the implementation and example programs. Download the tar file, extract the archive (e.g., by "tar xf CPA.tar"), go into the created directory CPA and follow the instructions in the README file.