Kevin Backhouse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FM | Variant Analysis with QL. | Pavel Avgustinov, Kevin Backhouse, Man Yue Mo |
| 2002 | CC | Forwarding in Attribute Grammars for Modular Language Design. | Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski |
| 2002 | MPC | Logical Relations and Galois Connections. | Kevin Backhouse, Roland Carl Backhouse |
| 2002 | TACAS | A Functional Semantics of Attribute Grammars. | Kevin Backhouse |