call-analysis-0.0.1 ------------------- Version 0.0.1 Author Michael Hanus Synopsis A call-pattern analysis and transformation tool to improve lazy non-deterministic computations Category Analysis Optimization Dependencies flatcurry >= 1.0.0 Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Executable Name curry-ndopt Main module Analysis Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/call-analysis.git@v0.0.1 License BSD-3-Clause License file LICENSE