| |
| 2008 | ||
|---|---|---|
| 8 | EE | Adam Bakewell, Dan R. Ghica: On-the-Fly Techniques for Game-Based Software Model Checking. TACAS 2008: 78-92 |
| 2007 | ||
| 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 | |
| 1 | Dan R. Ghica | [8] |
| 2 | Detlef Plump | [5] [6] |
| 3 | Colin Runciman | [1] [2] [3] [4] [5] [6] |