of David S. Warren

Books and proceedings

  1. Patricia M. Hill and David S. Warren, editors. ICLP09l, volume 5649 of LNCS, July 2009. SV. [doi:10.1007/978-3-642-02846-5]

Articles in journal, book chapters

  1. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. TPLP, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation.

Conference articles

  1. Susan E. Brennan, Klaus Mueller, Greg Zelinsky, IV Ramakrishnan, David S. Warren, and Arie Kaufman. Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. In 2006 IEEE Symposium On Visual Analytics Science And Technology, October-November 2006.
  2. Tom Schrijvers and David S. Warren. Constraint Handling Rules and tabled execution. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 120-136, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation.
  3. Tom Schrijvers, David S. Warren, and Bart Demoen. CHR for XSB. In R. Lopes and M. Ferreira, editors, CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems, University of Porto, Portugal, deptcw, Technical report DCC-2003-05, pages 7-20, December 2003. Keyword(s): implementation.