Concepedia

Kevin Backhouse

KB

3

Publications

88

Citations

3

H-Index

2000

Active since

Affiliations

University of Oxford(Current)

Kevin Backhouse is an author at University of Oxford specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

2000–2004

3

Publications

3

First-class Attribute Grammars

Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra · 2000 · 51 citations

Safety of abstract interpretations for free, via logical relations and Galois connections

Kevin Backhouse, Roland Backhouse · Science of Computer Programming · 2004 · 27 citations

, , +11

Intentional programming: a host of language features

Eric Van Wyk, Oege de Moor, Ganesh Sittampalam et al. · 2001 · 10 citations · Full text

Rows per page

1–3 of 3