Towards Operations on Operational Semantics

BCTCS. 2006 Code Slides


Standard structural operational semantics has poor modularity. We build upon the work of Turi’s functorial operational semantics, an abstract category-theoretical model of operational semantics which guarantees that the defined semantics are well behaved. Working in this abstract setting we reason about the combination of operational semantics and we define operations for achieving it. We show how to use these operations to combine four toy languages featuring differents effects.