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.

Author's Publications

Publications BySMITH, Donald A (Don)

  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.

See Also: Research Links | Student Research Theses | Research Commons

This page has been reformatted for printing.