Formal Semantics Based Translator Generation and Tool Development in Practice | IEEE Conference Publication | IEEE Xplore