A Modular SOS for ML Concurrency Primitives
DOI:
https://doi.org/10.7146/brics.v6i57.20127Resumé
Modularity is an important pragmatic aspect of semanticdescriptions. In denotational semantics, the issue of modularity has
received much attention, and appropriate abstractions have been
introduced, so that definitions of semantic functions may be independent of
the details of how computations are modeled. In structural operational
semantics (SOS), however, this issue has largely been neglected, and
SOS descriptions of programming languages typically exhibit rather poor
modularity| - for instance, extending the described language may entail
a complete reformulation of the description of the original constructs.
A proposal has recently been made for a modular approach to SOS, called
MSOS. The basic definitions of the Modular SOS framework are recalled
here, but the reader is referred to other papers for a full introduction.
This paper focuses on illustrating the applicability of Modular SOS, by
using it to give a description of a sublanguage of Concurrent ML (CML);
the transition rules for the purely functional constructs do not have to be
reformulated at all when adding references and/or processes. The paper
concludes by comparing the MSOS description with previous operational
descriptions of similar languages.
The reader is assumed to be familiar with conventional SOS, with the
concepts of functional programming languages such as Standard ML, and
with fundamental notions of concurrency.
Downloads
Publiceret
1999-12-27
Citation/Eksport
Mosses, P. D. (1999). A Modular SOS for ML Concurrency Primitives. BRICS Report Series, 6(57). https://doi.org/10.7146/brics.v6i57.20127
Nummer
Sektion
Artikler
Licens
Authors who publish with this journal agree to the following terms:- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).