Travelled to:1 × Italy
1 × USA
Collaborated with:Z.Somogyi P.J.Stuckey P.Ross B.Demoen M.J.G.d.l.Banda W.Harvey K.Marriott
Talks about:constraint (2) mercuri (2) herbrand (1) program (1) analysi (1) recurs (1) tail (1) mode (1) make (1) base (1)
Person: David Overton
DBLP: Overton:David
Contributed to:
2004
20021999Wrote 3 papers:
- PDCL-2004-DemoenBHMOS #constraints
- Herbrand Constraints in HAL (BD, MJGdlB, WH, KM, DO, PJS), pp. 499–538.
- PPDP-2002-OvertonSS #analysis #constraints
- Constraint-based mode analysis of mercury (DO, ZS, PJS), pp. 109–120.
- LOPSTR-1999-RossOS #recursion #source code
- Making Mercury Programs Tail Recursive (PR, DO, ZS), pp. 196–215.