Kevin Backhouse

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 2

Top Topics

Top Venues

Publications

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 (2021)
Pavel Avgustinov, Kevin Backhouse, Man Yue Mo
Variant Analysis with QL. FM (2018)
Kevin Backhouse, Roland Carl Backhouse
Safety of abstract interpretations for free, via logical relations and Galois connections. Sci. Comput. Program. 51 (1-2) (2004)
Kevin Backhouse
A Functional Semantics of Attribute Grammars. TACAS (2002)
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
Forwarding in Attribute Grammars for Modular Language Design. CC (2002)
Kevin Backhouse, Roland Carl Backhouse
Logical Relations and Galois Connections. MPC (2002)
Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
First-class Attribute Grammars. Informatica (Slovenia) 24 (3) (2000)