A Modular SOS for ML Concurrency Primitives (1999)
Cached
Download Links
| Venue: | DEPT. OF COMPUTER SCIENCE, UNIV. OF AARHUS |
| Citations: | 9 - 7 self |
BibTeX
@TECHREPORT{Mosses99amodular,
author = {Peter D. Mosses},
title = {A Modular SOS for ML Concurrency Primitives},
institution = {DEPT. OF COMPUTER SCIENCE, UNIV. OF AARHUS},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Modularity is an important pragmatic aspect of semantic descriptions. 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 modelled. 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 propos
