%0 Book Section %1 Rosendahl90 %A Rosendahl, Mads %B Attribute Grammars and their Applications (WAGA) %C New York--Heidelberg--Berlin %D 1990 %E Deransart, Pierre %E Jourdan, Martin %I Springer-Verlag %K abstract attribute grammars interpretation vari.AbI %P 143--156 %T Abstract Interpretation Using Attribute Grammars %V 461 %X The paper deals with correctness proofs of attribute grammars using methods from abstract interpretation. The technique is described by defining a liveness analysis and proving it correct with respect to a continuation style semantics.

@incollection{Rosendahl90, abstract = {The paper deals with correctness proofs of attribute grammars using methods from abstract interpretation. The technique is described by defining a liveness analysis and proving it correct with respect to a continuation style semantics.}, added-at = {2009-05-10T18:36:57.000+0200}, address = {New York--Heidelberg--Berlin}, author = {Rosendahl, Mads}, biburl = {https://www.bibsonomy.org/bibtex/28fb969658f6bd706944b1ce7a69b2c4c/dparigot}, booktitle = {Attribute Grammars and their Applications (WAGA)}, description = {Attribute Grammar}, editor = {Deransart, Pierre and Jourdan, Martin}, interhash = {7f7dd535752a9673842678126f511983}, intrahash = {8fb969658f6bd706944b1ce7a69b2c4c}, keywords = {abstract attribute grammars interpretation vari.AbI}, month = {September}, note = {Paris}, pages = {143--156}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2009-05-10T18:37:07.000+0200}, title = {Abstract Interpretation Using Attribute Grammars}, volume = 461, year = 1990 }