|
Search the dblp DataBase
Kevin Backhouse:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
Forwarding in Attribute Grammars for Modular Language Design. [Citation Graph (0, 0)][DBLP] CC, 2002, pp:128-142 [Conf]
- Kevin Backhouse, Roland Carl Backhouse
Logical Relations and Galois Connections. [Citation Graph (0, 0)][DBLP] MPC, 2002, pp:23-39 [Conf]
- Kevin Backhouse
A Functional Semantics of Attribute Grammars. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:142-157 [Conf]
- Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
First-class Attribute Grammars. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 2000, v:24, n:3, pp:- [Journal]
- Kevin Backhouse, Roland Carl Backhouse
Safety of abstract interpretations for free, via logical relations and Galois connections. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2004, v:51, n:1-2, pp:153-196 [Journal]
Search in 0.001secs, Finished in 0.001secs
|