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
Structural operational semantics can be studied at the general level of distributive laws of syntax ...
Abstract. A large number of computational processes can suitably be described as a combination of co...
AbstractIn computer science, the algebra–coalgebra duality serves as a formal framework for connecti...
Operational semantics is a known and popular semantic method for describing the execution of program...
Definition of programming languages consists of the formal definition of syntax and semantics. One o...
AbstractIn this paper we show that it is possible to model observable behaviour of coalgebras indepe...
Coalgebraic techniques allow for a very natural models of various types of state based systems. We p...
Concurrently interacting components of a modular software architecture are heterogeneously structure...
We relate three different, but equivalent, ways to characterise behavioural equivalence for set coal...
This thesis is about coalgebraic methods in software specification and verification. It extends know...
The coalgebraic perspective on objects and classes in object-oriented programming is elaborated: obj...
AbstractCoalgebras for endofunctors C → C can be used to model classes of object oriented languages....
The paper introduces a formal definitionof inheritance, which is a cardinal concept inobject-oriente...
This paper proposes a notion of computable coalgebras based on numbered sets and recursive functions...
textabstractIn the semantics of programming, finite data types such as finite lists, have traditiona...
Structural operational semantics can be studied at the general level of distributive laws of syntax ...
Abstract. A large number of computational processes can suitably be described as a combination of co...
AbstractIn computer science, the algebra–coalgebra duality serves as a formal framework for connecti...
Operational semantics is a known and popular semantic method for describing the execution of program...
Definition of programming languages consists of the formal definition of syntax and semantics. One o...
AbstractIn this paper we show that it is possible to model observable behaviour of coalgebras indepe...
Coalgebraic techniques allow for a very natural models of various types of state based systems. We p...
Concurrently interacting components of a modular software architecture are heterogeneously structure...
We relate three different, but equivalent, ways to characterise behavioural equivalence for set coal...
This thesis is about coalgebraic methods in software specification and verification. It extends know...
The coalgebraic perspective on objects and classes in object-oriented programming is elaborated: obj...
AbstractCoalgebras for endofunctors C → C can be used to model classes of object oriented languages....
The paper introduces a formal definitionof inheritance, which is a cardinal concept inobject-oriente...
This paper proposes a notion of computable coalgebras based on numbered sets and recursive functions...
textabstractIn the semantics of programming, finite data types such as finite lists, have traditiona...
Structural operational semantics can be studied at the general level of distributive laws of syntax ...
Abstract. A large number of computational processes can suitably be described as a combination of co...
AbstractIn computer science, the algebra–coalgebra duality serves as a formal framework for connecti...
DOI
Add to ORKG