The visualization of a graph semantics of imperative languages
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 refe...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Rijeka
2021-01-01
|
| Series: | Politehnika |
| Subjects: | |
| Online Access: | https://hrcak.srce.hr/file/392887 |