Original scientific paper
https://doi.org/10.36978/cte.5.2.1
The visualization of a graph semantics of imperative languages
William Steingartner
orcid.org/0000-0002-2852-9403
; Technical University in Košice, Slovakia
Erik Gajdoš
; Faculty of Electrical Engineering and Informatics, Technical University of Košice
Abstract
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.
Keywords
categorical semantics; compiler; semantics of languages; university didactics,; visualization; web application
Hrčak ID:
271054
URI
Publication date:
22.12.2021.
Visits: 698 *