The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Adam Bakewell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002