Abstract Interpretation Using Attribute Grammar

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

    Resumé

    This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics.
    OriginalsprogEngelsk
    TitelAttribute Grammars and their Applications
    RedaktørerPierre Deransart, Martin Jourdan
    Antal sider14
    ForlagKluwer Academic Publishers
    Publikationsdato1990
    Sider143-156
    ISBN (Trykt)3-540-53101-7
    StatusUdgivet - 1990
    NavnLecture Notes in Computer Science
    Vol/bind461
    ISSN0302-9743

    Citer dette

    Rosendahl, M. (1990). Abstract Interpretation Using Attribute Grammar. I P. Deransart, & M. Jourdan (red.), Attribute Grammars and their Applications (s. 143-156). Kluwer Academic Publishers. Lecture Notes in Computer Science, Bind. 461
    Rosendahl, Mads. / Abstract Interpretation Using Attribute Grammar. Attribute Grammars and their Applications. red. / Pierre Deransart ; Martin Jourdan. Kluwer Academic Publishers, 1990. s. 143-156 (Lecture Notes in Computer Science, Bind 461).
    @inbook{1376376052be11dba4bc000ea68e967b,
    title = "Abstract Interpretation Using Attribute Grammar",
    abstract = "This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics.",
    author = "Mads Rosendahl",
    year = "1990",
    language = "English",
    isbn = "3-540-53101-7",
    pages = "143--156",
    editor = "Pierre Deransart and Martin Jourdan",
    booktitle = "Attribute Grammars and their Applications",
    publisher = "Kluwer Academic Publishers",

    }

    Rosendahl, M 1990, Abstract Interpretation Using Attribute Grammar. i P Deransart & M Jourdan (red), Attribute Grammars and their Applications. Kluwer Academic Publishers, Lecture Notes in Computer Science, bind 461, s. 143-156.

    Abstract Interpretation Using Attribute Grammar. / Rosendahl, Mads.

    Attribute Grammars and their Applications. red. / Pierre Deransart; Martin Jourdan. Kluwer Academic Publishers, 1990. s. 143-156 (Lecture Notes in Computer Science, Bind 461).

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

    TY - CHAP

    T1 - Abstract Interpretation Using Attribute Grammar

    AU - Rosendahl, Mads

    PY - 1990

    Y1 - 1990

    N2 - This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics.

    AB - This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics.

    M3 - Book chapter

    SN - 3-540-53101-7

    SP - 143

    EP - 156

    BT - Attribute Grammars and their Applications

    A2 - Deransart, Pierre

    A2 - Jourdan, Martin

    PB - Kluwer Academic Publishers

    ER -

    Rosendahl M. Abstract Interpretation Using Attribute Grammar. I Deransart P, Jourdan M, red., Attribute Grammars and their Applications. Kluwer Academic Publishers. 1990. s. 143-156. (Lecture Notes in Computer Science, Bind 461).