Software tool for supporting the experiential teaching of selected methods of formal semantics
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15410%2F21%3A73611734" target="_blank" >RIV/61989592:15410/21:73611734 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Software tool for supporting the experiential teaching of selected methods of formal semantics
Original language description
This article presents a contribution to the modernization of university education in the field of theoretical computer science, namely in the field of formal semantics. The use of software tools enabling interaction and visualization of calculations can be considered as a modern approach in teaching that supports its attractiveness. In this work, we present a visualization software tool that emulates the behavior of an abstract machine for structural operational semantics. The tool supports the visualization of abstract machine calculations in two variants – depending on the used formal epresentation of the abstract machine memory.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
50301 - Education, general; including training, pedagogy, didactics [and education systems]
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
ICETA 2021 Proceedings
ISBN
978-1-66542-101-0
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
197-203
Publisher name
Technická univerzita (Košice)
Place of publication
Košice
Event location
Košice
Event date
Nov 11, 2021
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—