Search the dblp DataBase

Publications of Author

1. Adam Bakewell, Detlef Plump, Colin Runciman
   Checking the Shape Safety of Pointer Manipulations. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2003, pp:48-61 [Conf]
   
2. Adam Bakewell, Detlef Plump, Colin Runciman
   Specifying Pointer Structures by Graph Reduction. [Citation Graph (0, 0)][DBLP]
   AGTIVE, 2003, pp:30-44 [Conf]
   
3. Adam Bakewell, Colin Runciman
   Automated Generalisation of Function Definitions. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:225-240 [Conf]
   
4. Adam Bakewell, Colin Runciman
   A model for comparing the space usage of lazy evaluators. [Citation Graph (0, 0)][DBLP]
   PPDP, 2000, pp:151-162 [Conf]
   
5. Adam Bakewell, Colin Runciman
   The space usage problem: An evaluation kit for graph reduction semantics. [Citation Graph (0, 0)][DBLP]
   Scottish Functional Programming Workshop, 2000, pp:115-128 [Conf]
   
6. Adam Bakewell, Colin Runciman
   A Space Semantics for Core Haskell. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:41, n:1, pp:- [Journal]
   
7. 
   Clipping: A Semantics-Directed Syntactic Approximation. [Citation Graph (, )][DBLP]
   
   
8. 
   Game-based safety checking with Mage. [Citation Graph (, )][DBLP]
   
   
9. 
   Compositional Predicate Abstraction from Game Semantics. [Citation Graph (, )][DBLP]
   
   
10. 
    On-the-Fly Techniques for Game-Based Software Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. [Citation Graph (, )][DBLP]