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).
Discover
now the architecture of the CASL tool set
(CATS)!
Download
and web-based interface. The CASL tool set is written in Standard ML.
|
|||||||||||||||||||||||||||||||||||