Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching


DOI: https://doi.org/10.15308/Sinteza-2021-235-239
Authors:
William Steingartner
Matúš Jankura
Davorka Radaković

Download full paper

Keywords:
Coalgebraic Operational Semantics, Formal Semantics, Software Visualization, University Didactics, Education


Abstract:
The goal of formal semantics of languages is to reveal the nature of a language beneath its syntactic surface. One of the popular and frequently used methods is operational semantics. Its categorical representation using coalgebras is a new approach to semantics. Current trends show that software visualization of various calculations contributes to clarity and easier understanding. To support students' interest in semantic methods, we designed and prepared a software tool whose task is to visualize computations in coalgebraic operational semantics.

CITATION:

IEEE format

W. Steingartner, M. Jankura, D. Radaković, “Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching,” in Sinteza 2021 - International Scientific Conference on Information Technology and Data Related Research, Belgrade, Singidunum University, Serbia, 2021, pp. 235-239. doi:10.15308/Sinteza-2021-235-239

APA format

Steingartner, W., Jankura, M., Radaković, D. (2021). Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching. Paper presented at Sinteza 2021 - International Scientific Conference on Information Technology and Data Related Research. doi:10.15308/Sinteza-2021-235-239

BibTeX format
Download

RefWorks Tagged format
Download