Since 2014
Modular Structural Operational Semantics
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Modular Structural Operational Semantics
|
|
| Creator |
Mosses, Peter D.
|
|
| Description |
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity in language descriptions, removing a shortcoming of the original SOS framework. After sketching the background and reviewing the main features of SOS, the paper explains the crucial differences between SOS and MSOS, and illustrates how MSOS descriptions are written. It also discusses standard notions of semantic equivalence based on MSOS. An appendix shows how the illustrative MSOS rules given in the paper would be formulated in conventional SOS.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2015-02-11
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/21873
10.7146/brics.v12i7.21873 |
|
| Source |
BRICS Report Series; No 7 (2005): RS-7 Modular Structural Operational Semantics
BRICS Report Series; No 7 (2005): RS-7 Modular Structural Operational Semantics 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/21873/19300
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|