Autor: Steingartner, W. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Coalgebras for modelling observable behaviour of programs
Autorzy:: Steingartner, W.
Novitzka, V.
Powiązania:: https://bibliotekanauki.pl/articles/122279.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: category
coalgebra
observable behaviour
polynomial endofunctor
semantics
endofunktor
zachowanie programów
Opis:: A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. Coalgebras enable one to model execution of programs step by step using categorical structures and polynomial endofunctors. In our paper, we start with a short introduction of basic notions and we use this method for modelling structural operational semantics of a simple imperative language.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2017, 16, 2; 145-157
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Some properties of coalgebras and their role in computer science
Autorzy:: Steingartner, W.
Radakovic, D.
Valkosak, F.
Macko, P.
Powiązania:: https://bibliotekanauki.pl/articles/973618.pdf
Data publikacji:: 2016
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: coalgebra
functor
induction
internal state of program
observable behavior of program
SLGeometry software
koalgebra
funktor
indukcja
endofunktor
Opis:: This paper introduces basic theoretical knowledge of coalgebras in computer science. Coalgebras are, specifically in category theory, structures defined according to an endofunctor. For both algebra and coalgebra, a functor is a convenient and general way of defining a signature. We present practical usage of the coalgebras in an example. We observe a behavior of a simple Sequencer developed in SLGeometry framework. We model its behavior with the simple program written in Python, and we describe its behavior within coalgebra of endofunctor. The computation of the values stored in internal states is performed coinductively. Our approach can be used in the teaching process of formal methods for young software engineers.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 4; 145-156
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja