A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgeb...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractWe use the concept of a distributive law of a monad over a copointed endofunctor to define a...
AbstractWe examine two versions of maps between distributive laws as candidates for well-behaved tra...
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
Some formats of well-behaved operational specifications, correspond to natural transformations of ce...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain bina...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
Abstract. Distributive laws of a monad T over a functor F are categor-ical tools for specifying alge...
Structural Operational Semantics (SOS) is one of the most natural ways for providing programming lan...
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgeb...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractWe use the concept of a distributive law of a monad over a copointed endofunctor to define a...
AbstractWe examine two versions of maps between distributive laws as candidates for well-behaved tra...
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
Some formats of well-behaved operational specifications, correspond to natural transformations of ce...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain bina...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
Abstract. Distributive laws of a monad T over a functor F are categor-ical tools for specifying alge...
Structural Operational Semantics (SOS) is one of the most natural ways for providing programming lan...
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgeb...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractWe use the concept of a distributive law of a monad over a copointed endofunctor to define a...
DOI
Add to ORKG