Abstract Interpretation Using Attribute Grammar

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


    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
    ISBN (Print)3-540-53101-7
    Publication statusPublished - 1990
    SeriesLecture Notes in Computer Science

    Cite this