Software visualization of natural semantics of imperative languages - a teaching tool
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15410%2F19%3A73596572" target="_blank" >RIV/61989592:15410/19:73596572 - isvavai.cz</a>
Výsledek na webu
<a href="https://obd.upol.cz/id_publ/333176458" target="_blank" >https://obd.upol.cz/id_publ/333176458</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Software visualization of natural semantics of imperative languages - a teaching tool
Popis výsledku v původním jazyce
In this work, we discuss the role and need of a teaching tool for the visualization of natural semantics method of imperative programming languages. The design, development and use of a compiler that can interpret simple programming language Jane statements to a tree that represents the semantic method of natural semantics is presented. A formal definition of Jane programming language and production rules in natural semantics is showed, as well. The developed teaching tool can provide particular visual steps in the process of finding the meaning of well-structured input program.
Název v anglickém jazyce
Software visualization of natural semantics of imperative languages - a teaching tool
Popis výsledku anglicky
In this work, we discuss the role and need of a teaching tool for the visualization of natural semantics method of imperative programming languages. The design, development and use of a compiler that can interpret simple programming language Jane statements to a tree that represents the semantic method of natural semantics is presented. A formal definition of Jane programming language and production rules in natural semantics is showed, as well. The developed teaching tool can provide particular visual steps in the process of finding the meaning of well-structured input program.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
50301 - Education, general; including training, pedagogy, didactics [and education systems]
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2019
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
INFORMATICS 2019
ISBN
978-1-72813-178-8
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
387-392
Název nakladatele
Technická univerzita (Košice)
Místo vydání
Košice
Místo konání akce
Poprad
Datum konání akce
20. 11. 2019
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—