Abstract Machine for Operational Semantics of Domain-Specific Language

In this paper, we focus on some aspects of structural operational semantics for a selected domain-specific language for robot control, similar to the approach for Karel the Robot. For a given language, we formulate and develop a method of an abstract implementation on an abstract machine for structural operational semantics. The achieved results as well as the mentioned research are a part of the research in the field of semantic methods, where we focus on the formalization of semantic methods for software engineering. This area is also very important in the training of young IT experts, as semantic methods can help to understand program behavior and detect errors in program design. To make the teaching of formal semantics in the field of domain-specific languages more attractive, we have also prepared an application that serves to visualize the individual steps of the program on an abstract machine - simulation of translated code with visualization of a robot's movement.