New Approach to Categorical Semantics for Procedural Languages

Steingartner, William; Novitzká, Valerie; Bacikova, Michaela; Korecko, Stefan

doi:10.4149/cai_2017_6_1385

Cited by 9 publications

(7 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus our category Config needs to have colimits [1] for all diagrams consisting of an infinite composition of configurations. The definition of a colimit in the category Config is explained in [34]. Now we have the base category that is a model of E-Jane; thus we can proceed to construct a coalgebra modeling the behavior of programs written in E-Jane.…”

Section: Coalgebra For the Language E-janementioning

confidence: 99%

“…Functors, the morphisms between categories, express mappings between categorical structures; they are suitable for describing useful properties of systems. In [34], we have defined a categorical denotational semantics of a procedural language, where we constructed a category of states as a model of a language.…”

Section: Introductionmentioning

confidence: 99%

“…It is a further contribution to our research project to prepare a package of modules serving to define the semantics of programs by several semantic methods. This paper together with our previous work in [34] presents a theoretical foundation for this package and is designed to be easily implementable. Therefore we try to use similar notions that can be implemented uniformly.…”

Section: Introductionmentioning

confidence: 99%

“…Therefore we try to use similar notions that can be implemented uniformly. But the coalgebraic approach requires to define behavior of programs step by step and it induces fundamental changes and necessity of new concepts different from the approach published in [34].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Coalgebraic Operational Semantics for an Imperative Language

Steingartner

Novitzká

Schreiner

2019

cai

Self Cite

View full text Add to dashboard Cite

Operational semantics is a known and popular semantic method for describing the execution of programs in detail. The traditional definition of this method defines each step of a program as a transition relation. We present a new approach on how to define operational semantics as a coalgebra over a category of configurations. Our approach enables us to deal with a program that is written in a small but real imperative language containing also the common program constructs as input and output statements, and declarations. A coalgebra enables to define operational semantics in a uniform way and it describes the behavior of the programs. The state space of our coalgebra consists of the configurations modeling the actual states; the morphisms in a base category of the coalgebra are the functions defining particular steps during the program's executions. Polynomial endofunctor determines this type of systems. Another advantage of our approach is its easy implementation and graphical representation, which we illustrate on a simple program.

show abstract

Section: Coalgebra For the Language E-janementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Coalgebraic Operational Semantics for an Imperative Language

Steingartner

Novitzká

Schreiner

2019

cai

Self Cite

View full text Add to dashboard Cite

show abstract

“…A very fruitful method seems to be a visualization of processing the semantic method. We prepared more tools for visualization of some semantic methods, for instance, a tool for categorical semantics [11] (categorical denotational semantics we formulated in [12]), a tool for handling the mathematical expressions [13] or a tool for complex work with the abstract implementation of imperative language with an abstract machine for structural operational semantics [14]. Based on successful implementation in teaching process and the positive feedback from students, we have continued to prepare new tools.…”

Section: Introductionmentioning

confidence: 99%

On some innovations in teaching the formal semantics using software tools

Steingartner

2020

Open Computer Science

Self Cite

View full text Add to dashboard Cite

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.

show abstract