Output details
11 - Computer Science and Informatics
Queen Mary University of London
Fresh-Register Automata
<10>The paper introduces a new class of abstract machines which are able to capture resource-generating computation, thus providing the first algorithmic framework for modelling dynamic programs with generative effects. This work led to two important subsequent publications (European Symposium on Programming 2011 and International Colloquium on Automata, Languages and Programming 2012) co-authored by Murawski (Warwick). Jointly with game semantics, the technology developed here is currently being applied in my Royal Academy of Engineering Research Fellowship "Game Semantics for Program Analysis" (bit.ly/1fyqy05, see 2011-2016) and in the collaborative EPSRC project "Game Semantics for Java Programs" (EP/J019577/1, 2012).