Journal: IPSI Transactions on Internet Research

Visualization Tool for Structural Operational
Semantics of Simple Imperative Language

Authors: Vitalii Tsimbolynets and Jan Perhac

View PDF Cite this article


We teach the subject of the semantics of programming languages at the graduate level, where we present different approaches to the definition of formal semantics for imperative languages. In this paper, we present a new teaching tool for visualization of semantics computation of a toy imperative language by the small-step semantic method. We have developed a responsive web application that simulates a computation of a program’s semantics as is done by hand on a blackboard.


Imperative paradigm, Jane language, Small step semantics, Structural operational semantics, Teaching tool, Visualization, While language

Published in: IPSI Transaction on Internet Research (Volume: 19, Issue: 1)
Publisher: IPSI, Belgrade

Date of Publication: January 1, 2023

Open Access: CC-BY-NC-ND
DOI: 10.58245/ipsi.tir.2301.11

Pages: 66 - 74

ISSN: 1820 - 4503


1. V. Tsimbolynets and J. Perha´c, “Visualization of imperative programs ˇ translation with structural operational semantics,” in 2022 IEEE 16th International Scientific Conference on Informatics. IEEE, 2022, pp. 328–333.

2. L. E. Mnguni, “The theoretical cognitive process of visualization for science education,” SpringerPlus, vol. 3, no. 1, 2014.

3. M. Fernandez, H. Kirchner, and B. Pinaud, “Strategic port graph ´ rewriting: an interactive modelling framework,” Mathematical Structures in Computer Science, vol. 29, no. 5, pp. 615–662, 2019.

4. W. Schreiner, “Logic and semantic technologies for computer science education,” in 2019 IEEE 15th International Scientific Conference on Informatics. IEEE, 2019, pp. 000 415–000 420.

5. D. Radakovic and D. Herceg, “Towards a completely extensible dynamic ´ geometry software with metadata,” Computer Languages, Systems & Structures, vol. 52, pp. 1–20, 2018.

6. “Debuggex: Online visual regex tester,”, accessed: 2022-09-30.

7. “Data structure visualizations tool,” galles/visualization/about.html, accessed: 2022-09-30.

8. K. Mocinecova and W. Steingartner, “Software support for visualizing ´ of the graph algorithms in a novel approach in educating of young it experts,” IPSI Transactions on Internet Research, vol. 16, no. 2, pp. 14–23, 2020.

9. D. Mihalyi, M. Penia ´ skov ˇ a, J. Perh ´ a´c, and J. Miheli ˇ c, “Web-based ques- ˇ tionnaires for type theory course,” Acta Electrotechnica et Informatica, vol. 17, no. 4, pp. 35–42, 2017.

10. M. Olencin and J. Perh ˇ a´c, “Automated configuration of a linux web ˇ server security,” in 2019 IEEE 15th International Scientific Conference on Informatics. IEEE, 2019, pp. 000 491–000 496



Vitalii Tsimbolynets

Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Kosice, Slovakia. E-mail:


Jan Perhač

Department of Computer Science, Matej Bel University, Banská Bystrica, Slovakia. E-mail:; Orcid ID: 0000-0001-6347-2409


Cite this article

Tsimbolynets, Vitalii and Perhač, Jan "Visualization Tool for Structural Operational Semantics of Simple Imperative Language", IPSI Transactions on Internet Research, 2023, vol. 19(1), pp. 66-74.