Kevin Backhouse

According to our database, Kevin Backhouse authored at least 8 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

2020 State of the Octoverse: Securing the World's Software.

Nicole Forsgren, Bas Alberts, Kevin Backhouse, Grey Baker, Greg Cecarelli, Derek Jedamski, Scot Kelly, Clair Sullivan

CoRR, 2021

2018

Variant Analysis with QL.

Pavel Avgustinov, Kevin Backhouse, Man Yue Mo

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2004

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

Kevin Backhouse, Roland Carl Backhouse

Sci. Comput. Program., 2004

2002

Abstract interpretation of domain-specific embedded languages.

Kevin Stuart Backhouse

PhD thesis, 2002

A Functional Semantics of Attribute Grammars.

Kevin Backhouse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Logical Relations and Galois Connections.

Kevin Backhouse, Roland Carl Backhouse

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Forwarding in Attribute Grammars for Modular Language Design.

Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski

Proceedings of the Compiler Construction, 11th International Conference, 2002

2000

First-class Attribute Grammars.

Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra

Informatica (Slovenia), 2000