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...

Celý popis

Podrobná bibliografia

Vydané v:	Theoretical computer science Ročník 373; číslo 3; s. 238 - 272
Hlavní autori:	Mousavi, MohammadReza, Reniers, Michel A., Groote, Jan Friso
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 05.04.2007
Predmet:	Formal semantics Framework Rule formats Structural operational semantics Rule formats Formal semantics Framework Structural operational semantics
ISSN:	0304-3975, 1879-2294, 1879-2294
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!