Search results for keyword `vari.AbI'

[57]

K. Barbar and K. Musumbu. Implementation of Abstract Interpretation Algorithm by means of Attribute Grammars. In Proceedings of the 26th Southeastern Symposium on System Theory, pages 87-93. IEEE Computer Society, March 1994.

[886]

Mads Rosendahl. Abstract interpretation using attribute grammars. In Pierre Deransart and Martin Jourdan, editors, Attribute Grammars and their Applications (WAGA), volume 461 of Lecture Notes in Computer Science, pages 143-156. Springer-Verlag, New York-Heidelberg-Berlin, September 1990. Paris.

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.

[887]

Mads Rosendahl. Abstract Interpretation and Attribute Grammars. PhD thesis, Cambridge University, 1991.

The thesis explores the connection between attribute grammars and abstract interpretation as frameworks in program analysis. It is shown how methods from abstract interpretation can be used for proving the correctness of attribute grammars and how attribute grammars can be used to implement abstract interpretations

[888]

Mads Rosendahl. Strictness analysis for attribute grammars. In Programming Language Implementation and Logic Programming (PLILP '92), volume 631 of LNCS, pages 145-157. Springer-Verlag, 1992.