Personal tools
You are here: Home Events Lab lunch speakers 2010 Alex Simpson

Alex Simpson

Towards a generic operational metatheory

Structural operational semantics has proven enormously versatile in accommodating the full spectrum of programming language features, but this versatility is not achieved in a uniform manner: different features require their own idiosyncratic operational formats. I'll talk about ongoing joint work with Patricia Johann (University of Strathclyde) and Janis Voigtlaender (University of Bonn) which has the aim of systematizing the relationship between programming features and their operational semantics. Of course, we can only deal with a restricted class of examples. Nonetheless, this class includes some classic cases of interest.

Document Actions