Development of parsing tools for CASL using generic language technology

M.G.J. Brand, van den, J. (Jeroen) Scheerder

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)


    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.
    Original languageEnglish
    Title of host publicationRecent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999)
    EditorsD. Bert, C. Choppy, P.D. Mosses
    ISBN (Print)3-540-67898-0
    Publication statusPublished - 2000

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Development of parsing tools for CASL using generic language technology'. Together they form a unique fingerprint.

    Cite this