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

David Overton

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

2004
3EEBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey: Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538
2002
2EEDavid Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120
1999
1 Peter Ross, David Overton, Zoltan Somogyi: Making Mercury Programs Tail Recursive. LOPSTR 1999: 196-215

Coauthor Index

1Maria Garcia de la Banda (Maria J. García de la Banda) [3]
2Bart Demoen [3]
3Warwick Harvey [3]
4Kim Marriott [3]
5Peter Ross [1]
6Zoltan Somogyi [1] [2]
7Peter J. Stuckey [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)