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 [113]. Subsequently, the format of SOS rules became the object of study. Using so-called Transition System Specifications (TSS’s) several authors syntactically restricted the format… (More)
DOI: 10.1016/j.tcs.2006.12.019

4 Figures and Tables


  • Presentations referencing similar topics