Development of parsing tools for Casl using generic language technology
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.
|Programming Environments (acm D.2.6), Miscellaneous (acm D.2.m), Formal Definitions and Theory (acm D.3.1), Processors (acm D.3.4), DATA STRUCTURES (acm E.1)|
|Software (theme 1)|
|Software Engineering [SEN]|
|Organisation||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.