Adam Bakewell

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
Data-abstraction refinement: a game semantic approach. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Adam Bakewell, Dan R. Ghica
Compositional Predicate Abstraction from Game Semantics. TACAS (2009)
Dan R. Ghica, Adam Bakewell
Clipping: A Semantics-Directed Syntactic Approximation. LICS (2009)
Adam Bakewell, Dan R. Ghica
On-the-Fly Techniques for Game-Based Software Model Checking. TACAS (2008)
Adam Bakewell, Dan R. Ghica
Game-based safety checking with Mage. SAVCBS (2007)
Adam Bakewell
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Adam Bakewell, Detlef Plump, Colin Runciman
Checking the Shape Safety of Pointer Manipulations. RelMiCS (2003)
Adam Bakewell, Detlef Plump, Colin Runciman
Specifying Pointer Structures by Graph Reduction. AGTIVE (2003)
Adam Bakewell, Colin Runciman
A model for comparing the space usage of lazy evaluators. PPDP (2000)
Adam Bakewell, Colin Runciman
The space usage problem: An evaluation kit for graph reduction semantics. Scottish Functional Programming Workshop (2000)
Adam Bakewell, Colin Runciman
A Space Semantics for Core Haskell. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Adam Bakewell, Colin Runciman
Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming (1999)