WebCass
What is CASS?
Available analyses
Paper on CASS
Curry Homepage
Curry Report
Select an example:
rev
higher
qsortfilter
qsortsplit
family
first
last
colormap
Web Interface for CASS
Analyses available in CASS:
Demanded arguments
Depends on all non-deterministic operations
Depends on non-deterministic operations
Deterministic operations
Functionally defined
Groundness
Higher-order constructors
Higher-order datatypes
Higher-order functions
Indeterministic operations
Non-determinism effects
Non-deterministic operations
Overlapping rules
Pattern completeness
Productive operations
Required value
Required value sets
Residuating operations
Right-linear operations
Root cyclic replacements
Root replacements
Sensible types
Sibling constructors
Sibling constructors with corresponding type declaration
Solution completeness
Terminating operations
Totally and functionally defined operations
Totally defined operations
Types in values
Unsafe module