Formalising and Verifying Reference Attribute Grammars in Coq.
Reference attribute grammars are a powerful formalism for concisely specifying and implementing static analyses. While they have proven their meritin practical applications, no attempt has so far been made to rigorously verify correctness properties of the resulting systems. We present a general met...
| Asıl Yazarlar: | , , |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Springer
2009
|
Search Result 1
Formalising and Verifying Reference Attribute Grammars in Coq
Baskı/Yayın Bilgisi 2009
Conference item