Compiler Module of Abstract Machine Code for Formal Semantics Course | IEEE Conference Publication | IEEE Xplore