Add to ORKGThis paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the impossibility of the validity of the left-distributivity law are also offered
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
Abstract While studying the specification of the operational semantics of different programming lang...
Determinism is a semantic property of (a fragment of) a language that specifies that a program canno...
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain bina...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
Abstract. This paper proposes rule formats for Structural Operational Semantics guaranteeing that ce...
This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the ...
A format for well-behaved translations between structural operational specifications is derived from...
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain cons...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
AbstractWe examine two versions of maps between distributive laws as candidates for well-behaved tra...
Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards de...
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
Abstract While studying the specification of the operational semantics of different programming lang...
Determinism is a semantic property of (a fragment of) a language that specifies that a program canno...
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain bina...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
Abstract. This paper proposes rule formats for Structural Operational Semantics guaranteeing that ce...
This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the ...
A format for well-behaved translations between structural operational specifications is derived from...
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain cons...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
AbstractWe examine two versions of maps between distributive laws as candidates for well-behaved tra...
Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards de...
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
Abstract While studying the specification of the operational semantics of different programming lang...
Determinism is a semantic property of (a fragment of) a language that specifies that a program canno...