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 × France
1 × Spain
3 × USA
Collaborated with:
M.J.G.d.l.Banda K.Marriott J.Schimpf Z.Somogyi P.J.Stuckey R.Rafeh R.Becket M.J.Maher J.K.Slaney T.Walsh
Talks about:
constraint (2) implement (2) effici (2) negat (2) model (2) scaleabl (1) independ (1) project (1) mercuri (1) databas (1)

Person: Mark Wallace

DBLP DBLP: Wallace:Mark

Contributed to:

PADL 20072007
PADL 20062006
ICLP 20052005
PADL 19991999
SLP 19871987

Wrote 5 papers:

PADL-2007-RafehBMW #design
From Zinc to Design Model (RR, MJGdlB, KM, MW), pp. 215–229.
PADL-2006-BecketBMSSW #constraints #theorem proving
Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.
ICLP-2005-StuckeyBMMSSWW #independence #modelling #performance
The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.
PADL-1999-WallaceS #declarative #eclipse #implementation #named #specification
ECLiPSe: Declarative Specification and Scaleable Implementation (MW, JS), pp. 365–366.
SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.

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.