Visualization of imperative programs translation with Structural Operational Semantics

Abstract

This paper is devoted to the tool developed for the visualization of the translation process of a program written in a simple imperative programming language by structural operational semantics, also known as small-step operational semantics. Our goal is that our tool will be OS-independent, therefore, we have designed to implement it as a web application. We also cover a language definition, and then, we analyze similar existing systems. We compare other solutions and their problems, which we take into account in designing our application. Next, we design a user interface and implement a prototype. In the end, we test and evaluate the application with the target group of users.