Back to my home page.
View my research papers.
View my research projects.
EPSRC grant GR/N22014, value £58359, running June 2000-May 2003.
The aim of this project is to produce a precise semantic model of interference and interference-control in higher-order programming languages with references. This should be taken to include object-oriented languages as well as languages such as ML. The model will be used to discover and support new reasoning principles and type systems for taming interference. Specific goals are to develop and analyse games models for existing interference control systems, to develop new systems or other mechanisms for controlling interference, and to construct proof systems and reasoning principles for proving the correctness of programs in the presence of interference control.
This project employed Jim Laird as a research fellow, and enjoyed the collaboration of Matthew Wall and Dan Ghica.
The final report on the project describes the research outcomes of the work carried out with this EPSRC support.
Guy McCusker. Game Semantics of Imperative Languages using Regular Expressions. Slides from the Spring School on Theoretical Computer Science 2002, Agay, France.
- The first lecture is an overview of game semantics
- The second lecture covers the regular language presentation.
The slides are PDF files.
Dan R. Ghica and Guy McCusker. Reasoning about Idealised Algol using regular languages. In Proceedings, Twenty-Seventh International Colloquium on Automata, Languages and Programming (ICALP 2000). Available as postscript.
Guy McCusker. A fully abstract relational model of Syntactic Control of Interference. In Proceedings, Computer Science Logic (CSL) 2002, volume 2471 of LNCS, copyright © 2002 Springer-Verlag.