|CASL tool set : features|
CATS is outdated now! Please use the Heterogeneous Tool Set.
The CASL tool set (CATS) supports following features :
The CASL tool set has been developed in Bremen. It contains contributions from Warsaw (static analysis), Amsterdam
(ATerms), and Orsay (parsing).
now the architecture of the CASL tool set
The CASL tool set is written in Standard ML.