Open AccessThe visualization of a graph semantics of imperative languages
Author(s) -
William Steingartner,
Erik Gajdoš
Publication year - 2021
Publication title -
politehnika
Language(s) - English
Resource type - Journals
eISSN - 2584-5373
pISSN - 2584-6264
DOI - 10.36978/cte.5.2.1
Subject(s) - computer science , programming language , semantics (computer science) , visualization , graph , software , artificial intelligence , theoretical computer science
This work aims to present the software support for teaching in the field of formal semantics of imperative programming languages. The main part focuses on a software tool that provides a visual representation of the individual steps of the calculation in categorical semantics, which can also be referred to as graph semantics. The use of software tools in teaching to visually represent computational steps considerably facilitates understanding by students and can also serve as a good basis for supporting distance learning. Our program works in the standard form: after reading the correct user input, a visual representation of the meaning of the program is generated in the form of a category of states, which is displayed as an oriented graph. For better extensibility, the program is implemented as a web application.