David S. Warren

Available identifiers

zbMath Open warren.david-scottWikidataQ102116444 ScholiaQ102116444MaRDI QIDQ1096422

List of research outcomes

Publication	Date of Publication	Type
An abstract machine for fixed-order dynamically stratified programs	2019-01-15	Paper
Top-down and Bottom-up Evaluation Procedurally Integrated	2018-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4583749	2018-09-03	Paper
XSB: Extending Prolog with Tabled Logic Programming	2012-06-25	Paper
Tabling with Answer Subsumption: Implementation, Applications and Performance	2010-10-01	Paper
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling	2010-08-19	Paper
TCHR: a framework for tabled CLP	2008-07-23	Paper
Deductive Spreadsheets Using Tabled Logic Programming	2008-03-11	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4417884	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767081	2002-01-28	Paper
The limits of fixed-order computation	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499264	2001-03-06	Paper
An abstract machine for efficiently computing queries to well-founded models	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4259968	1999-09-09	Paper
Efficient access mechanisms for tabled logic programs	1999-05-04	Paper
Tabled evaluation with delaying for general logic programs	1998-01-19	Paper
Efficient top-down computation of queries under the well-founded semantics	1997-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5691457	1997-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4287476	1994-06-13	Paper
A goal-oriented approach to computing the well-founded semantics	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4039734	1993-06-05	Paper
HiLog: A foundation for higher-order logic programming	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3200591	1989-01-01	Paper
Automatic mode inference for logic programs	1988-01-01	Paper
PIQUE: a relational query language without relations	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725518	1986-01-01	Paper
Formal semantics for time in databases	1983-01-01	Paper
lambda-normal forms in an intensional logic for English	1980-01-01	Paper
A parsing method for montague grammars	1978-01-01	Paper

Research outcomes over time

This page was built for person: David S. Warren