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

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 373; no. 3; pp. 238 - 272
Main Authors:	Mousavi, MohammadReza, Reniers, Michel A., Groote, Jan Friso
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 05.04.2007
Subjects:	Formal semantics Framework Rule formats Structural operational semantics Rule formats Formal semantics Framework Structural operational semantics
ISSN:	0304-3975, 1879-2294, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!