Abstract Interpretation Using Attribute Grammar

Mads Rosendahl

Abstract Interpretation Using Attribute Grammar

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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 language	English
Title of host publication	Attribute Grammars and their Applications
Editors	Pierre Deransart, Martin Jourdan
Number of pages	14
Publisher	Kluwer Academic Publishers
Publication date	1990
Pages	143-156
ISBN (Print)	3-540-53101-7
Publication status	Published - 1990

Series	Lecture Notes in Computer Science
Volume	461
ISSN	0302-9743

Cite this

@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",

}

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

T3 - Lecture Notes in Computer Science

SP - 143

EP - 156

BT - Attribute Grammars and their Applications

A2 - Deransart, Pierre

A2 - Jourdan, Martin

PB - Kluwer Academic Publishers

ER -