Cimini, Matteo
(Háskólinn í Reykjavík, 2012-12-09)
Structural Operational Semantics (SOS) is one of the most natural ways for providing programming languages with a formal semantics. Results on the meta-theory of SOS typically (but not solely) say that if the inference rules used in writing the semantic ...