dblp.uni-trier.dewww.uni-trier.de

Kevin Backhouse Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
5EEKevin 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
4EEEric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski: Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142
3EEKevin Backhouse, Roland Carl Backhouse: Logical Relations and Galois Connections. MPC 2002: 23-39
2EEKevin 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)

Coauthor Index

1Roland Carl Backhouse [3] [5]
2Paul Kwiatkowski [4]
3Oege de Moor [1] [4]
4S. Doaitse Swierstra [1]
5Eric Van Wyk [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)