Formalising and Verifying Reference Attribute Grammars in Coq (European Symposium on Programming (ESOP), 2009)

(untitled) - Schäfer, M; Ekman, T; de Moor, O