Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson. Formal Semantics Based Translator Generation and Tool Development in Practice. In 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Golad Cost, Australia. pages 256-266, IEEE Computer Society, 2009. [doi]
Abstract is missing.