Software visualization of natural semantics of imperative languages - a teaching tool
William Steingartner, Martin Haratim, Jiřı́ Dostál · 2019
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.