E0DBBE06-3EF2-4E78-B57E-0AF9445D7C6DAspect Refactoring ToolsResearch GrantEP/E042023/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL545835D6494AA5-37DC-4BDC-A4F9-82277F1568CCProgramming Languages and Systems439b948e009eaa8aa7fe722da81a7f0cSchäfer M2009-01-01http://dx.doi.org/10.1007/978-3-642-00590-9_11978-3-642-00589-3http://dx.doi.org/10.1007/978-3-642-00590-9_11Formalising and Verifying Reference Attribute Grammars in Coq143-159Book Chapterdoi_53cfcdfcd59ea14e