Since 2014
Exploiting Labels in Structural Operational Semantics
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Exploiting Labels in Structural Operational Semantics
|
|
| Creator |
Mosses, Peter D.
|
|
| Description |
Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages. This paper shows how the use of labels can provide significantly simpler and more modular descriptions of programming languages. However, the full power of labels is obtained only when the set of labels is made into a category, as in the recently-proposed MSOS variant of SOS.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2005-02-11
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/21874
10.7146/brics.v12i8.21874 |
|
| Source |
BRICS Report Series; No 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics
BRICS Report Series; No 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/21874/19301
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|