BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:
D.R.Ghica C.Runciman D.Plump
Talks about:
semant (2) model (2) game (2) generalis (1) techniqu (1) structur (1) function (1) composit (1) approxim (1) abstract (1)

Person: Adam Bakewell

DBLP DBLP: Bakewell:Adam

Contributed to:

LICS 20092009
TACAS 20092009
TACAS 20082008
AGTIVE 20032003
PPDP 20002000
FLOPS 19991999

Wrote 6 papers:

LICS-2009-GhicaB #approximate #named #semantics
Clipping: A Semantics-Directed Syntactic Approximation (DRG, AB), pp. 189–198.
TACAS-2009-BakewellG #abstraction #composition #game studies #semantics
Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
TACAS-2008-BakewellG #game studies #model checking #on the fly
On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.
AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification
Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.
PPDP-2000-BakewellR #lazy evaluation
A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.
FLOPS-1999-BakewellR #automation
Automated Generalisation of Function Definitions (AB, CR), pp. 225–240.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.