 | 2010 |
|---|
| 12 |       | Adam Bakewell,
Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Data-abstraction refinement: a game semantic approach.
STTT 12(5): 373-389 (2010) |
| 2009 |
|---|
| 11 | | Dan R. Ghica,
Adam Bakewell:
Clipping: A Semantics-Directed Syntactic Approximation.
LICS 2009: 189-198 |
| 10 | | Adam Bakewell,
Dan R. Ghica:
Compositional Predicate Abstraction from Game Semantics.
TACAS 2009: 62-76 |
| 2008 |
|---|
| 9 | | Adam Bakewell,
Dan R. Ghica:
On-the-Fly Techniques for Game-Based Software Model Checking.
TACAS 2008: 78-92 |
| 2007 |
|---|
| 8 | | Adam Bakewell,
Dan R. Ghica:
Game-based safety checking with Mage.
SAVCBS 2007: 85-87 |
| 7 | | Adam Bakewell:
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency.
Electr. Notes Theor. Comput. Sci. 72(1): 3-16 (2007) |
| 2003 |
|---|
| 6 | | Adam Bakewell,
Detlef Plump,
Colin Runciman:
Specifying Pointer Structures by Graph Reduction.
AGTIVE 2003: 30-44 |
| 5 | | Adam Bakewell,
Detlef Plump,
Colin Runciman:
Checking the Shape Safety of Pointer Manipulations.
RelMiCS 2003: 48-61 |
| 2000 |
|---|
| 4 | | 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 | | Adam Bakewell,
Colin Runciman:
A Space Semantics for Core Haskell.
Electr. Notes Theor. Comput. Sci. 41(1): 36 (2000) |
| 1999 |
|---|
| 1 | | Adam Bakewell,
Colin Runciman:
Automated Generalisation of Function Definitions.
Fuji International Symposium on Functional and Logic Programming 1999: 225-240 |
Data released under the ODC-BY 1.0 license — See also our legal information page