David S. Warren

Identifiers

• name variant David S. Warren 0.60 · backfill

Papers (8)

1. Top-down and Bottom-up Evaluation Procedurally Integrated cs.LO · 2018 · author #1
2. AppLP: A Dialogue on Applications of Logic Programming cs.PL · 2017 · author #1
3. Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB cs.PL · 2013 · author #3
4. Interning Ground Terms in XSB cs.PL · 2013 · author #1
5. XSB: Extending Prolog with Tabled Logic Programming cs.PL · 2010 · author #2
6. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling cs.PL · 2010 · author #3
7. TCHR: a framework for tabled CLP cs.PL · 2007 · author #3
8. An Environment for the Exploration of Non Monotonic Logic Programs cs.PL · 2001 · author #2

Mentions

• 1308.3938 #3 · backfill · confidence 0.70 David S. Warren
• 1307.4644 #1 · backfill · confidence 0.70 David S. Warren
• 1012.5123 #2 · backfill · confidence 0.70 David S. Warren
• 1007.3961 #3 · backfill · confidence 0.70 David S. Warren
• 0712.3830 #3 · backfill · confidence 0.70 David S. Warren

Frequent Coauthors

• Bart Demoen 1 shared papers
• Donald E. Porter 1 shared papers
• Luis F. Castro 1 shared papers
• Manuel Carro 1 shared papers
• Pablo Chico de Guzman 1 shared papers
• Spyros Hadjichristodoulou 1 shared papers
• Terrance Swift 1 shared papers
• Tom Schrijvers 1 shared papers
• Yanhong A. Liu 1 shared papers