Refocusing in Structural Operational Semantics

Casper Bach Poulsen

(Swansea University)

In this talk, we consider a direct approach to deriving big-step SOS
rules from small-step ones: we refocus the SOS rules themselves. By
working directly with the rules, we avoid the need to introduce
abstract machines, relate them to SOS rules, and prove the correctness
of abstract machine transformations. Use of this approach can
significantly improve the efficiency of interpreters generated from
SOS rules.
Thursday 12th December 2013, 14:00
Robert Recorde Room
Department of Computer Science