Exploiting Labels in Structural Operational Semantics

Authors

  • Peter D. Mosses

DOI:

https://doi.org/10.7146/brics.v12i8.21874

Abstract

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.

Downloads

Published

2005-02-11

How to Cite

Mosses, P. D. (2005). Exploiting Labels in Structural Operational Semantics. BRICS Report Series, 12(8). https://doi.org/10.7146/brics.v12i8.21874

Issue

No. 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.