Adam Bakewell

13 papers A* 1A 2C 2Journal 1Unranked 6

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Data-abstraction refinement: a game semantic approach. Int. J. Softw. Tools Technol. Transf. Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2009	A*	`conf`	Clipping: A Semantics-Directed Syntactic Approximation. LICS Dan R. Ghica, Adam Bakewell
2009	A	`conf`	Compositional Predicate Abstraction from Game Semantics. TACAS Adam Bakewell, Dan R. Ghica
2008	A	`conf`	On-the-Fly Techniques for Game-Based Software Model Checking. TACAS Adam Bakewell, Dan R. Ghica
2007	—	`conf`	Game-based safety checking with Mage. SAVCBS Adam Bakewell, Dan R. Ghica
2003	—	`conf`	Checking the Shape Safety of Pointer Manipulations. RelMiCS Adam Bakewell, Detlef Plump, Colin Runciman
2003	—	`conf`	Specifying Pointer Structures by Graph Reduction. AGTIVE Adam Bakewell, Detlef Plump, Colin Runciman
2002	—	`conf`	Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. TERMGRAPH Adam Bakewell
2001	—	`—`	An operational theory of relative space efficiency. Adam Bakewell
2000	C	`conf`	A Space Semantics for Core Haskell. Haskell Adam Bakewell, Colin Runciman
2000	C	`conf`	A model for comparing the space usage of lazy evaluators. PPDP Adam Bakewell, Colin Runciman
2000	—	`conf`	The space usage problem: An evaluation kit for graph reduction semantics. Scottish Functional Programming Workshop Adam Bakewell, Colin Runciman
1999	—	`conf`	Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming Adam Bakewell, Colin Runciman