Guarded Recursion and Mathematical Operational Semantics

Abstract

Operational semantics gives meaning to terms in a programming language by defining a transition relation which represents execution steps. In structural operational semantics (SOS) this transition relation is given by a set of rules defined on the structure of the terms of the language. But, when is a collection of rules satisfactory, in the sense that it defines a well-behaved operational semantics?

BibTeX

```
@techreport{Jaskelioff:2008,
Author = {Mauro Jaskelioff and Neil Ghani},
Institution = {Technical University of Braunschweig},
Note = {Short submission to CMCS 2008},
Title = {Guarded Recursion and Mathematical Operational Semantics},
Year = {2008}}
```