default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin Backhouse

Kevin Stuart Backhouse

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-10246
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-10246
Nicole Forsgren, Bas Alberts, Kevin Backhouse, Grey Baker, Greg Cecarelli, Derek Jedamski, Scot Kelly, Clair Sullivan:
2020 State of the Octoverse: Securing the World's Software. CoRR abs/2110.10246 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AvgustinovBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AvgustinovBM18
Pavel Avgustinov, Kevin Backhouse, Man Yue Mo:
Variant Analysis with QL. FM 2018: 666-670

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2004
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BackhouseB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BackhouseB04
Kevin Backhouse, Roland Carl Backhouse:
Safety of abstract interpretations for free, via logical relations and Galois connections. Sci. Comput. Program. 51(1-2): 153-196 (2004)
2002
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Backhouse02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Backhouse02
Kevin Stuart Backhouse:
Abstract interpretation of domain-specific embedded languages. University of Oxford, UK, 2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/WykMBK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/WykMBK02
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski:
Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BackhouseB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BackhouseB02
Kevin Backhouse, Roland Carl Backhouse:
Logical Relations and Galois Connections. MPC 2002: 23-39
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Backhouse02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Backhouse02
Kevin Backhouse:
A Functional Semantics of Attribute Grammars. TACAS 2002: 142-157
2000
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/informaticaSI/MoorBS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/MoorBS00
Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra:
First-class Attribute Grammars. Informatica (Slovenia) 24(3) (2000)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.