Goriac, Eugen Ioan
(Háskólinn í Reykjavík, 2013-03-24)
Structural Operational Semantics (SOS) is a well known standard for specifying language semantics in a natural, yet rigorous way. Once a formal way of checking for the equivalence of two programs written in such a language is provided, it is of great ...