Abstract Interpretation Using Attribute Grammar

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    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.
    Original languageEnglish
    Title of host publicationAttribute Grammars and their Applications
    EditorsPierre Deransart, Martin Jourdan
    Number of pages14
    PublisherKluwer Academic Publishers
    Publication date1990
    Pages143-156
    ISBN (Print)3-540-53101-7
    Publication statusPublished - 1990
    SeriesLecture Notes in Computer Science
    Volume461
    ISSN0302-9743

    Cite this

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