Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/de-gruyter/on-some-innovations-in-teaching-the-formal-semantics-using-software-dFqc7Lc58J
References (29)
-
P. Mosses (2006)
Teaching semantics of programming languages with modular SOS -
M. Benčík, L'ubomír Dedera (2019)
Natural Semantics of Battle Management Languages2019 Communication and Information Technologies (KIT)
-
P. Mosses (1996)
Theory and Practice of Action Semantics -
(2019)
A Visualizing Tool for Graduate Course: Semantics of Programming Languages, IPSI -
(2020)
Innovative didactic methods in the teaching process at universities -
M. Urner (2016)
Formal Syntax And Semantics Of Programming Languages A Laboratory Based Approach -
K. Jhanji (2019)
Modernization in Teaching Learning ProcessINNOVATIVE TEACHING PRACTICES FOR 4G STUDENTS
-
(2003)
Programming language semantics, In: Encyclopedia of Computer Science, John Wiley and Sons Ltd., Chich- On some innovations in teaching the formal semantics using software tools -
Z. Bilanová, J. Perháč (2019)
About possibilities of applying logical analysis of natural language in computer science2019 IEEE 13th International Symposium on Applied Computational Intelligence and Informatics (SACI)
-
A. Sotiriadou, P. Kefalas (2000)
Teaching Formal Methods in Computer Science Undergraduates -
K. Louden, Pat Adams (1993)
Programming Languages: Principles and Practice -
J. Perháč, Daniel Mihályi, Valerie Novitzká (2016)
Between syntax and semantics of resource oriented logic for IDS behavior descriptionJournal of Applied Mathematics and Computational Mechanics, 15
-
M. Gabbrielli, S. Martini (2010)
Programming Languages: Principles and Paradigms -
Jirí Dostál, Xiaojun Wang, P. Nuangchalerm, Anna Brosch, William Steingartner (2017)
Researching computing teachers' attitudes towards changes in the curriculum content — An innovative approach or resistance?2017 Second International Conference on Informatics and Computing (ICIC)
-
(2017)
A code generator for an abstract implementation of imperative language, In: Electrical Engineering and Informatics VIII -
William Steingartner, Valerie Novitzká, M. Bačíková, Š. Korečko (2017)
New Approach to Categorical Semantics for Procedural LanguagesComput. Informatics, 36
-
(1984)
Compiler Construction, Series: Texts and Monographs in Computer Science, Springer-Verlag -
H. Nielson, F. Nielson (2007)
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) -
Carl Gunter (1991)
Semantics of programming languages -
William Steingartner, Martin Haratim, Jirí Dostál (2019)
Software visualization of natural semantics of imperative languages - a teaching tool2019 IEEE 15th International Scientific Conference on Informatics
-
William Steingartner, D. Radaković, Valerie Novitzká, Mohamed Eldojali (2017)
An Analysis of Some Aspects of Component-Based Programming for Selecting Appropriate Categorical Structures as their Models, 17
-
G. Kahn (1987)
Natural Semantics -
Daniel Mihályi, Monika Peniašková, J. Perháč, J. Mihelic (2017)
Web-Based Questionnaires for Type Theory Course, 17
-
Jirí Dostál, Xiaojun Wang, William Steingartner, P. Nuangchalerm (2017)
DIGITAL INTELLIGENCE - NEW CONCEPT IN CONTEXT OF FUTURE OF SCHOOL EDUCATION -
(2014)
Computer languages and their processing, Armed Forces Academy, Liptovský Mikuláš -
William Steingartner, Iskender Yar-Muhamedov (2018)
Learning software for handling the mathematical expressionsJournal of Applied Mathematics and Computational Mechanics
-
(2010)
Compilers, elfa s.r.o -
Valerie Novitzká (2005)
LOGICAL REASONING ABOUT PROGRAMMING OF MATHEMATICAL MACHINES -
Grigore Roşu (2017)
𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools
- Publisher
- de Gruyter
- Copyright
- © 2021 William Steingartner, published by De Gruyter
- eISSN
- 2299-1093
- DOI
- 10.1515/comp-2020-0130
- Publisher site
- See Article on Publisher Site
Abstract
AbstractIn 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.
Journal
Open Computer Science – de Gruyter
Published: Jan 1, 2021
Keywords: Jane language; innovation of teaching; language; natural semantics; parser; teaching software; university didactic; visualization