- 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ł