Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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