Compiler Module of Abstract Machine Code for Formal Semantics Course

Abstract

In this paper, we present a software module developed for the course Semantics of Programming Languages. This software will be part of the intended comprehensive software package to simplify and make the teaching of formal principles in theoretical computer science more attractive. During the pandemic, the need to support illustrative and illustrative online teaching increased. Our software is designed to illustrate and visualize the translation of a higher-level language into code for the Abstract Machine, the definition of which is based on the structural operational semantics of programs.