Environments for term rewriting engines for free!

M.G.J. Brand, van den, P.-E. Moreau, J.J. Vinju

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)
    1 Downloads (Pure)

    Samenvatting

    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.
    Originele taal-2Engels
    TitelRewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
    RedacteurenR. Nieuwenhuis
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's424-435
    ISBN van geprinte versie3-540-40254-3
    DOI's
    StatusGepubliceerd - 2003

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume2706
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Environments for term rewriting engines for free!'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit