| 2009 |
|---|
| 10 | EE | Adam Bakewell,
Dan R. Ghica:
Compositional Predicate Abstraction from Game Semantics.
TACAS 2009: 62-76 |
| 2008 |
|---|
| 9 | EE | Adam Bakewell,
Dan R. Ghica:
On-the-Fly Techniques for Game-Based Software Model Checking.
TACAS 2008: 78-92 |
| 2007 |
|---|
| 8 | EE | Adam Bakewell,
Dan R. Ghica:
Game-based safety checking with Mage.
SAVCBS 2007: 85-87 |
| 7 | EE | Adam Bakewell:
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency.
Electr. Notes Theor. Comput. Sci. 72(1): 3-16 (2007) |
| 2003 |
|---|
| 6 | EE | Adam Bakewell,
Detlef Plump,
Colin Runciman:
Specifying Pointer Structures by Graph Reduction.
AGTIVE 2003: 30-44 |
| 5 | EE | Adam Bakewell,
Detlef Plump,
Colin Runciman:
Checking the Shape Safety of Pointer Manipulations.
RelMiCS 2003: 48-61 |
| 2000 |
|---|
| 4 | EE | Adam Bakewell,
Colin Runciman:
A model for comparing the space usage of lazy evaluators.
PPDP 2000: 151-162 |
| 3 | | Adam Bakewell,
Colin Runciman:
The space usage problem: An evaluation kit for graph reduction semantics.
Scottish Functional Programming Workshop 2000: 115-128 |
| 2 | EE | Adam Bakewell,
Colin Runciman:
A Space Semantics for Core Haskell.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 1999 |
|---|
| 1 | | Adam Bakewell,
Colin Runciman:
Automated Generalisation of Function Definitions.
Fuji International Symposium on Functional and Logic Programming 1999: 225-240 |
