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)

    Abstract

    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
    PublisherSpringer
    Pages89-105
    ISBN (Print)3-540-67898-0
    DOIs
    Publication statusPublished - 2000

    Publication series

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

    Fingerprint

    Specifications
    Specification languages
    Rapid prototyping

    Cite this

    Brand, van den, M. G. J., & Scheerder, J. J. (2000). Development of parsing tools for CASL using generic language technology. In D. Bert, C. Choppy, & P. D. Mosses (Eds.), Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999) (pp. 89-105). (Lecture Notes in Computer Science; Vol. 1827). Springer. https://doi.org/10.1007/978-3-540-44616-3_6
    Brand, van den, M.G.J. ; Scheerder, J. (Jeroen). / Development of parsing tools for CASL using generic language technology. Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). editor / D. Bert ; C. Choppy ; P.D. Mosses. Springer, 2000. pp. 89-105 (Lecture Notes in Computer Science).
    @inproceedings{f50dda31215e4cc58c80245b83a3f5ac,
    title = "Development of parsing tools for CASL using generic language technology",
    abstract = "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.",
    author = "{Brand, van den}, M.G.J. and Scheerder, {J. (Jeroen)}",
    year = "2000",
    doi = "10.1007/978-3-540-44616-3_6",
    language = "English",
    isbn = "3-540-67898-0",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "89--105",
    editor = "D. Bert and C. Choppy and P.D. Mosses",
    booktitle = "Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Ch{\^a}teau de Bonas, France, September 15-18, 1999)",
    address = "Germany",

    }

    Brand, van den, MGJ & Scheerder, JJ 2000, Development of parsing tools for CASL using generic language technology. in D Bert, C Choppy & PD Mosses (eds), Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). Lecture Notes in Computer Science, vol. 1827, Springer, pp. 89-105. https://doi.org/10.1007/978-3-540-44616-3_6

    Development of parsing tools for CASL using generic language technology. / Brand, van den, M.G.J.; Scheerder, J. (Jeroen).

    Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). ed. / D. Bert; C. Choppy; P.D. Mosses. Springer, 2000. p. 89-105 (Lecture Notes in Computer Science; Vol. 1827).

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

    TY - GEN

    T1 - Development of parsing tools for CASL using generic language technology

    AU - Brand, van den, M.G.J.

    AU - Scheerder, J. (Jeroen)

    PY - 2000

    Y1 - 2000

    N2 - 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.

    AB - 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.

    U2 - 10.1007/978-3-540-44616-3_6

    DO - 10.1007/978-3-540-44616-3_6

    M3 - Conference contribution

    SN - 3-540-67898-0

    T3 - Lecture Notes in Computer Science

    SP - 89

    EP - 105

    BT - Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999)

    A2 - Bert, D.

    A2 - Choppy, C.

    A2 - Mosses, P.D.

    PB - Springer

    ER -

    Brand, van den MGJ, Scheerder JJ. Development of parsing tools for CASL using generic language technology. In Bert D, Choppy C, Mosses PD, editors, Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). Springer. 2000. p. 89-105. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-44616-3_6