First-Year Transfer Report

2006. PS PDF


This document is a summary of the work I have done during my first year whilst researching on the modularity of structural operational semantics. I discuss why modularity is important in semantics and the shortcomings of structural operational semantics in this regard. I review the related literature and explain what I have achieved so far. Also, I outline some possible directions for future work.


	Author = {Mauro Jaskelioff},
	Institution = {University of Nottingham},
	Title = {First-Year Transfer Report},
	Year = {2006}}