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.
Contents
- Special Issue: “Informatics 2019”
-
December 17, 2020
-
December 17, 2020
-
December 17, 2020
-
Open AccessAn experimental evaluation of refinement techniques for the subgraph isomorphism backtracking algorithmsDecember 17, 2020
-
December 17, 2020
-
Open AccessGraph automorphisms for compressionDecember 17, 2020
-
Open AccessTaylor Series Based Numerical Integration MethodDecember 17, 2020
-
Open AccessControl flow based cost analysis for P4December 17, 2020
-
December 17, 2020
-
December 17, 2020
-
Open AccessLIRKIS Global Collaborative Virtual Environments: Current State and Utilization PerspectiveDecember 17, 2020
-
December 17, 2020
-
Open AccessPreface to Special Issue “Informatics 2019”December 17, 2020
-
Open AccessNatural mapping between voice commands and APIsJanuary 13, 2021
-
January 27, 2021
-
January 27, 2021
-
January 29, 2021
-
January 29, 2021
-
January 29, 2021
-
Open AccessThe look at the various uses of VRFebruary 21, 2021
- Topical Issue on Applied Optimization - part 2
-
December 17, 2020
-
January 29, 2021
-
May 27, 2021
- Special Issue: Evolutionary Computation of Health Care Systems
-
August 16, 2021
- Regular Articles
-
Open AccessA binary Bird Swarm Optimization based load balancing algorithm for cloud computing environmentJanuary 19, 2021
-
January 27, 2021
-
June 7, 2021
-
February 21, 2021
-
Open AccessFuzzy Rank Based Parallel Online Feature Selection Method using Multiple Sliding WindowsMarch 18, 2021
-
March 18, 2021
-
March 18, 2021
-
April 26, 2021
-
Open AccessA Novel Approach Based Multi Biometric Finger Vein Template Recognition System using HGFApril 26, 2021
-
May 9, 2021
-
Open AccessHybrid lightweight Signcryption scheme for IoTJune 17, 2021
-
Open AccessThe effect of hyperparameter search on artificial neural network in human activity recognitionJune 24, 2021
-
September 16, 2021
-
December 8, 2021