SOS formats and meta-theory: 20 years after

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape [G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, Computer Science Department, Aa...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 373; H. 3; S. 238 - 272
Hauptverfasser:	Mousavi, MohammadReza, Reniers, Michel A., Groote, Jan Friso
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 05.04.2007
Schlagworte:	Formal semantics Framework Rule formats Structural operational semantics Rule formats Formal semantics Framework Structural operational semantics
ISSN:	0304-3975, 1879-2294, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!