Research Publications for Donald A (Don) Smith
Welcome to the University of Waikato research publications search. This database includes all research publications produced by the University from 1998.
Search our Staff Profiles to contact our current staff members.
Smith, D. A., & Utting, M. (1999). Pseudo-naive evaluation. In ADC'99: Tenth Australasian Database Conference (pp. 211-223). Singapore: Springer-Verlag.
Smith, D. A., & Utting, M. (1998). Pseudo-naive evaluation: mixing top-down and bottom-up execution for strongly stratified logic programs. In Sagonas Konstantinos (Ed.), JICSLP'98 Postconference Workshop on Implementation Technologies for Programming Languages based on Logic (pp. 113-126). Conference held at Manchester.
Smith, D. (1998). Computerizing Computer Science. Communications of the ACM, 41(9), 21-23.
Smith, D. A. (1997). MixLog: a generalized rule-based language. In 6th French Logic and Constraint Programming Conference (pp. 21-36). Conference held at Paris.