@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",
series = "Lecture Notes in Computer Science",
publisher = "Kluwer Academic Publishers",
pages = "143--156",
editor = "Pierre Deransart and Martin Jourdan",
booktitle = "Attribute Grammars and their Applications",
}