Code Generation = A* + BURS

Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas

    Research output: Book/ReportReportAcademic

    9 Downloads (Pure)

    Abstract

    A system called BURS that is based on term rewrite systems and a search algorithm Aare combined to produce a code generator that generates optimal code. The theory underlying BURS is re-developed, formalised and explained in this work. The search algorithm uses a cost heuristic that is derived from the termrewrite system to direct the search. The advantage of using a search algorithm is that we need to compute only those costs that may be part of an optimal rewrite sequence.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages14
    Publication statusPublished - 1995

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.95-43
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.95-17

    Fingerprint Dive into the research topics of 'Code Generation = A* + BURS'. Together they form a unique fingerprint.

    Cite this