|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 14 van 27 gevonden artikelen
| Titel: |
Exploiting Labels in Structural Operational Semantics |
| Auteur: |
Peter D. Mosses |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 60 (2004) nr. 1-4 pagina's 17-31 |
| Jaar: |
2004-09-10 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 14 van 27 gevonden artikelen
| << vorige | volgende >> |