Strictness Analysis for Attribute Grammars

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    Abstract

    Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The ``programs'' in this language take text or parse trees as input and return values of the synthesised attributes to the root as output. From this observation we establish a framework for abstract interpretation of attribute grammars. The framework is used to construct a strictness analysis for attribute grammars. Results of the analysis enable us to transform an attribute grammar such that attributes are evaluated during parsing, if possible. The analysis is proved correct by relating it to a fixpoint semantics for attribute grammars. An implementation of the analysis is discussed and some extensions to the analysis are mentioned.
    OriginalsprogEngelsk
    TitelProgramming Language Implementation and Logic Programming
    RedaktørerMaurice Bruynooghe, Martin Wirsing
    Antal sider13
    ForlagKluwer Academic Publishers
    Publikationsdato1992
    Sider145-157
    ISBN (Trykt)3-540-55844-6
    StatusUdgivet - 1992
    NavnLecture Notes in Computer Science
    Vol/bind631
    ISSN0302-9743

    Citer dette

    Rosendahl, M. (1992). Strictness Analysis for Attribute Grammars. I M. Bruynooghe, & M. Wirsing (red.), Programming Language Implementation and Logic Programming (s. 145-157). Kluwer Academic Publishers. Lecture Notes in Computer Science, Bind. 631