The static analysis is available within the CASL tool set (CATS).
Static analysis does the following :
- for each specification, construction of the current signature (local
- using the local environment, mixfix analysis of terms and formulas
- overload resolution of terms and formulas ;
- construction of a global environment.
Within the CASL tool set, you can use the option -input=static to
switch on the static analysis.
A library of CASL specifications in ASCII format,
following the syntax of CASL as described in Appendix C of the CASL