Formalising and Verifying Reference Attribute Grammars in Coq
No abstract available.
DOI 10.1007/978-3-642-00590-9_11
Related papers
- A formalisation of parameterised reference attribute grammars SLE 2017
- Rewritable Reference Attributed Grammars ECOOP 2004
- Circular Higher-Order Reference Attribute Grammars SLE 2013
- Automated Selective Caching for Reference Attribute Grammars SLE 2010
- Reference Attribute Grammars for Metamodel Semantics SLE 2010
- Concurrent circular reference attribute grammars SLE 2017
- A globalizing transformation for attribute grammars PLDI 1986
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015