Skoči na glavni sadržaj

Izvorni znanstveni članak

https://doi.org/10.36978/cte.5.2.1

The visualization of a graph semantics of imperative languages

William Steingartner orcid id 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


Puni tekst: engleski pdf 563 Kb

str. 7-14

preuzimanja: 99

citiraj


Sažetak

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.

Ključne riječi

categorical semantics; compiler; semantics of languages; university didactics,; visualization; web application

Hrčak ID:

271054

URI

https://hrcak.srce.hr/271054

Datum izdavanja:

22.12.2021.

Posjeta: 320 *