arXiv 2000-09-29 EN From Syntactic Theories to Interpreters: A Specification Language and Its Compilation Xiao, Yong · Ariola, Zena M. · Mauny, Michel