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

  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.

  Other publications by:
  SMITH, Donald A (Don) :: UTTING, Barry M (Mark)

• 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.

  Other publications by:
  SMITH, Donald A (Don) :: UTTING, Barry M (Mark)

• Smith, D. (1998). Computerizing Computer Science. Communications of the ACM, 41(9), 21-23.

  Other publications by:
  SMITH, Donald A (Don)

• 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.

  Other publications by:
  SMITH, Donald A (Don)

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