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

, , , ,
CWI
Software Engineering [SEN]
Software Analysis and Transformation

van den Brand, M.G.J, & Scheerder, J. (2000). Development of parsing tools for Casl using generic language technology. Software Engineering [SEN]. CWI.