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 × Hungary
1 × Spain
2 × USA
Collaborated with:
Talks about:
partial (3) languag (3) evalu (3) clp (3) constraint (2) program (2) multi (2) logic (2) sld (2) uniprocessor (1)

Person: Donald A. Smith

DBLP DBLP: Smith:Donald_A=

Contributed to:

PLILP 19941994
ICLP 19931993
ICLP 19911991
PEPM 19911991
NACLP 19901990

Wrote 6 papers:

PLILP-1994-Smith #multi #why
Why Multi-SLD Beats SLD (Even on a Uniprocessor) (DAS), pp. 40–56.
ICLP-1993-Smith #logic programming #multi #named
MultiLog: Data Or-Parallel Logic Programming (DAS), pp. 314–331.
ICLP-1991-Smith #constraints
Constraint Operations for CLP(FT) (DAS), pp. 760–774.
PEPM-1991-HickeyS #partial evaluation #towards
Toward the Partial Evaluation of CLP Languages (TJH, DAS), pp. 43–51.
PEPM-1991-Smith #constraints #logic programming #partial evaluation #pattern matching #programming language
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.
NACLP-1990-SmithH #partial evaluation
Partial Evaluation of a CLP Language (DAS, TJH), pp. 119–138.

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.