Please choose your delivery country and your customer group
An environment for the Common Algebraic Specification Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic specification formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-defined syntax which is non-trivial to process: ASF+SDF offers a powerful parsing technology (Generalized LR). Its interactive development environment facilitates rapid prototyping complemented by early detection and correction of errors. A number of core technologies developed for the ASF-SDF Meta-Environment can be reused in the context of CASL. Furthermore, an instantiation of a generic format developed for the representation of ASF+SDF specifications and terms provides a CASL-specific exchange format.