Code Generation = A* + BURS

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

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

    6 Citations (Scopus)
    50 Downloads (Pure)

    Abstract

    A system called BURS that is based on term rewrite systems and a search algorithm A* are 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
    Title of host publicationCompiler Construction
    Subtitle of host publication6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996. Proceedings
    EditorsTibor Gyimóthy
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages160-177
    Number of pages18
    ISBN (Electronic)978-3-540-61053-3
    ISBN (Print)978-3-540-49939-8
    DOIs
    Publication statusPublished - 1996
    Event6th International Conference on Compiler Construction, CC 1996 - Linköping, Sweden
    Duration: 24 Apr 199626 Apr 1996
    Conference number: 6

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer-Verlag
    Volume1060
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Workshop

    Workshop6th International Conference on Compiler Construction, CC 1996
    Abbreviated titleCC
    CountrySweden
    CityLinköping
    Period24/04/9626/04/96

      Fingerprint

    Keywords

    • FMT-CC: COMPILER CONSTRUCTION
    • Compiler generators
    • Code generation
    • Term rewrite systems
    • Search algorithms
    • Formal techniques

    Cite this

    Nymeyer, A., Katoen, J-P., Westra, Y., & Alblas, H. (1996). Code Generation = A* + BURS. In T. Gyimóthy (Ed.), Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996. Proceedings (pp. 160-177). (Lecture Notes in Computer Science; Vol. 1060). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-61053-7_60