Adam Bakewell

According to our database, Adam Bakewell authored at least 13 papers between 1999 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Data-abstraction refinement: a game semantic approach.

Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic

Int. J. Softw. Tools Technol. Transf., 2010

2009

Compositional Predicate Abstraction from Game Semantics.

Adam Bakewell, Dan R. Ghica

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Clipping: A Semantics-Directed Syntactic Approximation.

Dan R. Ghica, Adam Bakewell

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

On-the-Fly Techniques for Game-Based Software Model Checking.

Adam Bakewell, Dan R. Ghica

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Game-based safety checking with Mage.

Adam Bakewell, Dan R. Ghica

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2003

Specifying Pointer Structures by Graph Reduction.

Adam Bakewell, Detlef Plump, Colin Runciman

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Checking the Shape Safety of Pointer Manipulations.

Adam Bakewell, Detlef Plump, Colin Runciman

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency.

Adam Bakewell

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

2001

An operational theory of relative space efficiency.

Adam Bakewell

PhD thesis, 2001

2000

A Space Semantics for Core Haskell.

Adam Bakewell, Colin Runciman

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

The space usage problem: An evaluation kit for graph reduction semantics.

Adam Bakewell, Colin Runciman

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

A model for comparing the space usage of lazy evaluators.

Adam Bakewell, Colin Runciman

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999

Automated Generalisation of Function Definitions.

Adam Bakewell, Colin Runciman

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999