C

call-analysis

A call-pattern analysis and transformation tool to improve lazy non-deterministic computations