Bakewell, Adam Thomas
93  results:
Search for persons X
?
11

Data-abstraction refinement: a game semantic approach:

Bakewell, Adam ; Dimovski, Aleksandar ; Ghica, Dan R..
International Journal on Software Tools for Technology Transfer.  12 (2010)  5 - p. 373-389 , 2010
 
?
12

Game-based safety checking with Mage:

, In: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
Bakewell, Adam ; Ghica, Dan R. - p. 85-87 , 2007
 
?
13

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

Bakewell, Adam
Electronic Notes in Theoretical Computer Science.  72 (2007)  1 - p. 3-16 , 2007
 
?
14

A model for comparing the space usage of lazy evaluators:

, In: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming,
Bakewell, Adam ; Runciman, Colin - p. 151-162 , 2000
 
?
15

Bursting Cylindrical Boilers:

Bakewell, Thomas W.
Scientific American.  28 (1873)  6 - p. 83 ff. , 1873
 
1-15