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á bibliografie

Vydáno v:	Theoretical computer science Ročník 373; číslo 3; s. 238 - 272
Hlavní autoři:	Mousavi, MohammadReza, Reniers, Michel A., Groote, Jan Friso
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 05.04.2007
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!