Software visualization of natural semantics of imperative languages - a teaching tool
The result's identifiers
Result code in 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>
Result on the web
<a href="https://obd.upol.cz/id_publ/333176458" target="_blank" >https://obd.upol.cz/id_publ/333176458</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Software visualization of natural semantics of imperative languages - a teaching tool
Original language description
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.
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
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2019
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
INFORMATICS 2019
ISBN
978-1-72813-178-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
387-392
Publisher name
Technická univerzita (Košice)
Place of publication
Košice
Event location
Poprad
Event date
Nov 20, 2019
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—