Travelled to:1 × France
1 × Hungary
1 × Spain
2 × USA
Collaborated with:∅ T.J.Hickey
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: Smith:Donald_A=
Contributed to:
1994
19931991
19911990Wrote 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.