Travelled to:1 × Cyprus
1 × France
1 × USA
Collaborated with:T.Dowd Z.Somogyi M.J.G.d.l.Banda P.J.Stuckey C.Holzbaur F.Henderson T.C.Conway K.Marriott N.Nethercote
Talks about:constraint (2) mercuri (2) solver (1) mcorba (1) inform (1) compil (1) optim (1) handl (1) corba (1) build (1)
Person: David Jeffery
DBLP: Jeffery:David
Contributed to:
2001
1999
1999Wrote 4 papers:
- ICLP-2001-BandaJMNSH #constraints #theorem proving
- Building Constraint Solvers with HAL (MJGdlB, DJ, KM, NN, PJS, CH), pp. 90–104.
- ICLP-2001-HolzbaurBJS #compilation #constraints #optimisation
- Optimizing Compilation of Constraint Handling Rules (CH, MJGdlB, DJ, PJS), pp. 74–89.
- PADL-1999-JefferyDS #corba #named
- MCORBA: A CORBA Binding for Mercury (DJ, TD, ZS), pp. 211–227.
- PPDP-1999-DowdSHCJ #runtime
- Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.