Environments for term rewriting engines for free!

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

    8 Citations (Scopus)

    Abstract

    Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism.
    Original languageEnglish
    Title of host publicationRewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
    EditorsR. Nieuwenhuis
    Place of PublicationBerlin
    PublisherSpringer
    Pages424-435
    ISBN (Print)3-540-40254-3
    DOIs
    Publication statusPublished - 2003

    Publication series

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

    Fingerprint

    Engines
    Semantics
    Experiments

    Cite this

    Brand, van den, M. G. J., Moreau, P-E., & Vinju, J. J. (2003). Environments for term rewriting engines for free! In R. Nieuwenhuis (Ed.), Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings (pp. 424-435). (Lecture Notes in Computer Science; Vol. 2706). Berlin: Springer. https://doi.org/10.1007/3-540-44881-0_30
    Brand, van den, M.G.J. ; Moreau, P.-E. ; Vinju, J.J. / Environments for term rewriting engines for free!. Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. editor / R. Nieuwenhuis. Berlin : Springer, 2003. pp. 424-435 (Lecture Notes in Computer Science).
    @inproceedings{6f49a52d0c6543c89027cdc20c429d69,
    title = "Environments for term rewriting engines for free!",
    abstract = "Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism.",
    author = "{Brand, van den}, M.G.J. and P.-E. Moreau and J.J. Vinju",
    year = "2003",
    doi = "10.1007/3-540-44881-0_30",
    language = "English",
    isbn = "3-540-40254-3",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "424--435",
    editor = "R. Nieuwenhuis",
    booktitle = "Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings",
    address = "Germany",

    }

    Brand, van den, MGJ, Moreau, P-E & Vinju, JJ 2003, Environments for term rewriting engines for free! in R Nieuwenhuis (ed.), Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. Lecture Notes in Computer Science, vol. 2706, Springer, Berlin, pp. 424-435. https://doi.org/10.1007/3-540-44881-0_30

    Environments for term rewriting engines for free! / Brand, van den, M.G.J.; Moreau, P.-E.; Vinju, J.J.

    Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. ed. / R. Nieuwenhuis. Berlin : Springer, 2003. p. 424-435 (Lecture Notes in Computer Science; Vol. 2706).

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

    TY - GEN

    T1 - Environments for term rewriting engines for free!

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

    AU - Moreau, P.-E.

    AU - Vinju, J.J.

    PY - 2003

    Y1 - 2003

    N2 - Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism.

    AB - Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism.

    U2 - 10.1007/3-540-44881-0_30

    DO - 10.1007/3-540-44881-0_30

    M3 - Conference contribution

    SN - 3-540-40254-3

    T3 - Lecture Notes in Computer Science

    SP - 424

    EP - 435

    BT - Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

    A2 - Nieuwenhuis, R.

    PB - Springer

    CY - Berlin

    ER -

    Brand, van den MGJ, Moreau P-E, Vinju JJ. Environments for term rewriting engines for free! In Nieuwenhuis R, editor, Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. Berlin: Springer. 2003. p. 424-435. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-44881-0_30