Abstract
Abstract In this work we discuss the motivation for innovations and need of a teaching tool for the visualization of the natural semantics method of imperative programming languages. We present the rôle of the teaching software, its design, development and use in the teaching process. Our software module is able to visualize the natural semantics evaluation of programs. It serves as a compiler with environment that can visually interpret simple programming language Jane statements and to depict them into a derivation tree that represents the semantic method of natural semantics. A formal definition of programming language Jane used in the teaching of formal semantics and production rules in natural semantics for that language are shown as well. We present, how the presented teaching tool can provide particular visual steps in the process of finding the meaning of well-structured input program and to depict complete natural-semantic representation of an input program.
Highlights
One of the tools prepared under this cooperation was a module for visualizing the derivations in natural semantics of imperative programming languages
In the last part of this structural operational semantics [9] where the descrip- section, we briefly define natural semantics of imperative tions of functional programs given in this method could languages and we focus on semantics of Jane because the be automatically translated into programs in the logic pro- processing and visualizing of this method is a main subject gramming language Prolog, using the software provided to of the presented software tool
We are focused on building and presenting the teaching tool containing the parser of a simple toy programming language Jane and presenting on how a semantic tool for this language can be used in teaching process
Summary
One of the tools prepared under this cooperation was a module for visualizing the derivations in natural semantics of imperative programming languages. In this course, mostly the methods focused on imperative (and often functional or some domainspecific) languages are presented: operational semantics,. In the last part of this structural operational semantics [9] where the descrip- section, we briefly define natural semantics of imperative tions of functional programs given in this method could languages and we focus on semantics of Jane because the be automatically translated into programs in the logic pro- processing and visualizing of this method is a main subject gramming language Prolog, using the software provided to of the presented software tool.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
