Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: polynomial endofunctor

Sortuj według:

Ogranicz wyniki do:

Coalgebras for modelling observable behaviour of programs

Steingartner W., Novitzka V.

Journal of Applied Mathematics and Computational Mechanics

2017

Vol. 16, nr 2

145--157

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.