Software tool for supporting the experiential teaching of selected methods of formal semantics

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Software tool for supporting the experiential teaching of selected methods of formal semantics

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Software tool for supporting the experiential teaching of selected methods of formal semantics

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

50301 - Education, general; including training, pedagogy, didactics [and education systems]

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

ICETA 2021 Proceedings

ISBN

978-1-66542-101-0

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

197-203

Název nakladatele

Technická univerzita (Košice)

Místo vydání

Košice

Místo konání akce

Košice

Datum konání akce

11. 11. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—