| |
| 2004 | ||
|---|---|---|
| 5 | EE | 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 | ||
| 4 | EE | Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski: Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142 |
| 3 | EE | Kevin Backhouse, Roland Carl Backhouse: Logical Relations and Galois Connections. MPC 2002: 23-39 |
| 2 | EE | Kevin Backhouse: A Functional Semantics of Attribute Grammars. TACAS 2002: 142-157 |
| 2000 | ||
| 1 | Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra: First-class Attribute Grammars. Informatica (Slovenia) 24(3): (2000) | |
| 1 | Roland Carl Backhouse | [3] [5] |
| 2 | Paul Kwiatkowski | [4] |
| 3 | Oege de Moor | [1] [4] |
| 4 | S. Doaitse Swierstra | [1] |
| 5 | Eric Van Wyk | [4] |