Software visualization of natural semantics of imperative languages - a teaching tool

被引：0

作者：

Steingartner, William ^{[1
]}

Haratim, Martin ^{[1
]}

Dostal, Jiri ^{[2
]}

机构：

[1] Tech Univ Kosice, Fac Elect Engn & Informat, Kosice, Slovakia

[2] PalackY Univ Olomouc, Dept Tech Educ & Informat Technol, Olomouc, Czech Republic

来源：

2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019) | 2019年

关键词：

Jane language; lexer; natural semantics; parser; visualization;

D O I：

10.1109/informatics47936.2019.9119290

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：509 / 514

页数：6

共 21 条

[1]

Aho A. V., 1987, COMPILERS PRINCIPLES

[2]

[Anonymous], 2010, Undergraduate Topics in Computer Science

[3]

Brandenburg F.J., LECT NOTES COMPUTER, V247

[4]

Dedera L, 2014, COMPUTER LANGUAGES T

[5]

Dostal J., 2017, ICIC 2017, P1

[6]

Kochanikov Z., 2017, ELECT ENG INFORM, V8, P342

[7]

Kollar J., 2010, COMPILERS ELFA

[8]

Louden K C., 2011, Programming languages: principles and practice, V3rd

[9]

Mihalyi D., 2017, ACTA ELECTROTECHNICA, V17, P35

[10]

Mosses P. D., 2006, SERIES TFM 2006

← 1 2 3 →