Visualization Tool for Structural Operational
Semantics of Simple Imperative Language

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

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,” https://www.debuggex.com/, accessed: 2022-09-30.

7. “Data structure visualizations tool,” https://www.cs.usfca.edu/ 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

...