Guarded Recursion and Mathematical Operational Semantics

with Neil Ghani. Short Contribution to CMCS 2008PDFSlides

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}}