BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jeffery:David

Contributed to:

ICLP 20012001
PADL 19991999
PPDP 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.