Donald A. Smith

1999
15		Donald A. Smith, Mark Utting: Pseudo-Naive Evaluation. Australasian Database Conference 1999: 211-223
1998
14		Donald A. Smith, Mark Utting: Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. Implementation Technology for Programming Languages based on Logic 1998: 113-126
13		Donald A. Smith: Computerizing Computer Science. Commun. ACM 41(9): 21-23 (1998)
1997
12		Donald A. Smith: MixLog: a generalized rule-based language. JFPLC 1997: 21-36
1996
11		Donald A. Smith: Multilog and Data or-Parallelism. J. Log. Program. 29(1-3): 195-244 (1996)
1994
10	EE	Donald A. Smith: Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 33-47
9		Donald A. Smith, Timothy J. Hickey: Multi-SLD Resolution. LPAR 1994: 260-274
8		Donald A. Smith: Why Multi-SLD Beats SLD (Even on a Uniprocessor). PLILP 1994: 40-56
1993
7		Donald A. Smith: MultiLog: Data Or-Parallel Logic Programming. ICLP 1993: 314-331
1992
6		Donald A. Smith: MultiLog: Data Or-Parallel Logic Programming. IJCSLP Workshop on Concurrent and Parallel Implementations 1992
1991
5		Donald A. Smith: Constraint Operations for CLP(FT). ICLP 1991: 760-774
4		Timothy J. Hickey, Donald A. Smith: Toward the Partial Evaluation of CLP Languages. PEPM 1991: 43-51
3		Donald A. Smith: Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. PEPM 1991: 62-71
1990
2		Donald A. Smith, Timothy J. Hickey: Partial Evaluation of a CLP Language. NACLP 1990: 119-138
1989
1		Donald A. Smith, James G. Greeno, Theresa M. Vitolo: A Model of Competence for Counting. Cognitive Science 13(2): 183-211 (1989)

Coauthor Index

1	James G. Greeno	[1]
2	Timothy J. Hickey	[2] [4] [9]
3	Mark Utting	[14] [15]
4	Theresa M. Vitolo	[1]

Colors in the list of coauthors