Samenvatting
This 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.
Originele taal-2 | Engels |
---|---|
Plaats van productie | Eindhoven |
Uitgeverij | Technische Universiteit Eindhoven |
Aantal pagina's | 39 |
Status | Gepubliceerd - 2010 |
Publicatie series
Naam | Computer science reports |
---|---|
Volume | 1016 |
ISSN van geprinte versie | 0926-4515 |