Affiliation:
1. Technical University of Košice , Slovakia
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.
Reference30 articles.
1. Dostál J., Wang X., Steingartner W., Naungchalerm P., Digital Intelligence - New Concept in Context of Future School of Education, Proceedings of International Conference of Education, Research and Innovation – ICERI 2017 Conference (16th–18th November 2017, Seville, Spain), available at SSRN: https://ssrn.com/abstract=3255366
2. Jhanji K., Kumar A. R., Modernization in Teaching Learning Process, In Innovative Teaching Practices for 4G students, IOR International Press, 2019, 105–109
3. Sotiriadou A., Kefalas P., Teaching Formal Methods in Computer Science Undergraduates, 2000, unpublished, available online
4. Dostál J., Wang X., Naungchalerm P., Brosch A., Steingartner W., Researching computing teachers’ attitudes towards changes in the curriculum content — an innovative approach or resistance? In: 2017 Second International Conference on Informatics and Computing – ICIC 2017 (2017, Jayapura, Indonesia), IEEE, New York, 2017, 1–6
5. Novitzká V., Logical Reasoning about Programming of Mathematical Machines, Acta Electrotechnica et Informatica, 2005, 5(3), 50–55
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献