Proceedings of the International Scientific Conference - Sinteza 2021 2021
DOI: 10.15308/sinteza-2021-235-239
|View full text |Cite
|
Sign up to set email alerts
|

Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching

Abstract: The goal of formal semantics of languages is to reveal the nature of a language beneath its syntactic surface. One of the popular and frequently used methods is operational semantics. Its categorical representation using coalgebras is a new approach to semantics. Current trends show that software visualization of various calculations contributes to clarity and easier understanding. To support students' interest in semantic methods, we designed and prepared a software tool whose task is to visualize computation… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2024
2024

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 9 publications
(11 reference statements)
0
1
0
Order By: Relevance
“…Faceto-face teaching in schools was substituted with teaching online, using online platforms as new virtual classrooms. This pandemic brought remarkable disruption to education, as well as to High School Education, locally and all over the world [6,7,8,9,10,11].…”
Section: Introductionmentioning
confidence: 99%
“…Faceto-face teaching in schools was substituted with teaching online, using online platforms as new virtual classrooms. This pandemic brought remarkable disruption to education, as well as to High School Education, locally and all over the world [6,7,8,9,10,11].…”
Section: Introductionmentioning
confidence: 99%