BibSLEIGH — David_Scott_Warren

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Travelled to:

1 × Belgium
1 × Canada
1 × Israel
1 × Italy
1 × Japan
1 × Poland
1 × Sweden
19 × USA
2 × France
2 × The Netherlands
2 × United Kingdom
3 × Germany

Collaborated with:

T.Swift W.Chen K.F.Sagonas D.Maier J.Freire I.V.Ramakrishnan S.K.Debray C.R.Ramakrishnan B.Cui L.F.Castro L.V.Kalé D.Rozenshtein T.Schrijvers J.Xu ∅ S.Dawson S.A.Smolka P.C.d.Guzmán M.Carro R.Ramesh M.Kifer Y.S.Ramakrishna R.Hu M.Ahamad Y.Dong X.Du P.Rao S.C.Salveter J.Stein S.Skiena O.Sokolsky E.W.Stark K.N.Kumar A.Roychoudhury

Talks about:

program (17) logic (14) tabl (11) prolog (9) evalu (7) effici (6) abstract (5) system (5) comput (5) relat (5)

Person: David Scott Warren

DBLP: Warren:David_Scott

Facilitated 4 volumes:

ICLP 2009

Ed

PADL 2008

Ed

PPDP 2004

Ed

ICLP 1993

Ed

Contributed to:

ICLP 2010

2010

ICLP 2006

2006

ICLP 2004

2004

ESOP 2003

2003

PADL 2002

2002

CL 2000

2000

ICLP 1999

1999

TACAS 1999

1999

ALP/PLILP 1998

1998

CAV 1997

1997

ICLP 1997

1997

ILPS 1997

1997

CADE 1996

1996

JICSLP 1996

1996

PLDI 1996

1996

PLILP 1996

1996

ICLP 1995

1995

PPDP 1995

1995

POPL 1995

1995

ILPS 1994

1994

SIGMOD 1994

1994

ILPS 1993

1993

PODS 1993

1993

JICSLP 1992

1992

ICLP 1991

1991

PLILP 1991

1991

POPL 1990

1990

NACLP 1989

1989

PODS 1989

1989

ICLP/SPL 1988

1988

ICLP 1986

1986

SLP 1986

1986

ILPC 1984

1984

SLP 1984

1984

SIGMOD 1983

1983

SIGMOD 1982

1982

SIGMOD 1981

1981

Wrote 46 papers:

ICLP-J-2010-GuzmanCW #evaluation #on-demand: Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.
ICLP-2006-RamakrishnanRW #deduction #logic programming #spreadsheet #using: Deductive Spreadsheets Using Tabled Logic Programming (CRR, IVR, DSW), pp. 391–405.
ICLP-2004-SchrijversW #constraints #execution: Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
ESOP-2003-CastroW #approximate #logic programming: Approximate Pruning in Tabled Logic Programming (LFC, DSW), pp. 69–83.
PADL-2002-CastroSW #evaluation: Suspending and Resuming Computations in Engines for SLG Evaluation (LFC, TS, DSW), pp. 332–350.
CL-2000-CuiW #constraints #logic programming: A System for Tabled Constraint Logic Programming (BC, DSW), pp. 478–492.
ICLP-1999-CuiW #logic programming #multi: Multiple Terms in a Tabled Logic Programming System (BC, DSW), pp. 305–319.
TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification: Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking: Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.
CAV-1997-RamakrishnanRRSSW #model checking #performance #using: Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.
ICLP-1997-FreireSW: Taking I/O Seriously: Resolution Reconsidered for Disk (JF, TS, DSW), pp. 198–212.
ILPS-1997-FreireW: Controlling the Search in Tabled Evaluations (JF, DSW), p. 409.
CADE-1996-SagonasSW #automaton #source code: An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.
JICSLP-1996-SagonasSW #automaton #semantics: An Abstract Machine for Computing the Well-Founded Semantics (KFS, TS, DSW), pp. 274–288.
PLDI-1996-DawsonRW #case study #logic programming #program analysis #using: Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.
PLILP-1996-FreireSW #logic programming #scheduling #source code: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.
ICLP-1995-RamakrishnanRSSW #logic programming #performance #source code: Efficient Tabling Mechanisms for Logic Programs (IVR, PR, KFS, TS, DSW), pp. 697–711.
ICLP-1995-SagonasW #execution #implementation #performance #prolog: Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.
PLILP-1995-FreireHSW #parallel: Exploiting Parallelism in Tabled Evaluations (JF, RH, TS, DSW), pp. 115–132.
POPL-1995-DawsonRRSSSW #execution #logic programming #performance #source code #unification: Unification Factoring for Efficient Execution of Logic Programs (SD, CRR, IVR, KFS, SS, TS, DSW), pp. 247–258.
ILPS-1994-SagonasW #compilation #prolog: A Portable Compiler for Integrating HiLog into Prolog Systems (KFS, DSW), p. 682.
ILPS-1994-SwiftW #analysis #evaluation #source code: Analysis of SLG-WAM Evaluation of Definite Programs (TS, DSW), pp. 219–235.
ILPS-1994-SwiftW94a #automaton #source code: An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.
SIGMOD-1994-SagonasSW #database #deduction #performance: XSB as an Efficient Deductive Database Engine (KFS, TS, DSW), pp. 442–453.
SIGMOD-1994-SagonasSW94a #database #deduction: XSB as a Deductive Database (KFS, TS, DSW), p. 512.
ILPS-1993-ChenSW #evaluation: Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.
PODS-1993-ChenW #evaluation #query #semantics: Query Evaluation under the Well Founded Semantics (WC, DSW), pp. 168–179.
JICSLP-1992-ChenW #approach #semantics: A Goal-Oriented Approach to Computing Well Founded Semantics (WC, DSW), pp. 589–603.
ICLP-1991-ChenW #abstraction #logic #multi #set: An Intensional Logic of (Multi-Arity) Set Abstractions (WC, DSW), pp. 97–110.
PLILP-1991-ChenW #abstraction #compilation #higher-order #logic programming: Compilation of Predicate Abstractions in Higher-Order Logic Programming (WC, DSW), pp. 287–298.
POPL-1990-RameshRW #prolog: Automata-Driven Indexing of Prolog Clauses (RR, IVR, DSW), pp. 281–291.
NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.
NACLP-1989-ChenW #abduction: Abductive Resoning with Structured Data (WC, DSW), pp. 851–867.
PODS-1989-ChenW: C-Logic of Complex Objects (WC, DSW), pp. 369–378.
JICSCP-1988-ChenW88: Objects as Intensions (WC, DSW), pp. 404–419.
JICSCP-1988-XuW88 #prolog #type inference: A Type Inference System for Prolog (JX, DSW), pp. 604–619.
ICLP-1986-WarrenD86 #detection #functional #optimisation #prolog: Detection and Optimization of Functional Computations in Prolog (DSW, SKD), pp. 490–504.
SLP-1986-DebrayW86 #automation #prolog #source code: Automatic Mode Inference for Prolog Programs (SKD, DSW), pp. 78–88.
ILPC-1984-KaleW84 #architecture #prolog: A Class of Architectures for a Prolog Machine (LVK, DSW), pp. 171–182.
SLP-1984-Warren84 #flexibility #memory management #performance #prolog: Efficient Prolog Memory Management for Flexible Control Strategies (DSW), pp. 198–202.
SLP-1984-WarrenADK84 #distributed #network #prolog #source code: Executing Distributed Prolog Programs on a Broadcast Network (DSW, MA, SKD, LVK), pp. 12–21.
SIGMOD-1983-MaierRW: Windows on the World (DM, DR, DSW), pp. 68–78.
SIGMOD-1982-MaierRSSW #independence #logic #query #relational #towards: Toward Logical Data Independence: A Relational Query Language Without Relations (DM, DR, SCS, JS, DSW), pp. 51–60.
SIGMOD-1982-MaierW #database #specification: Specifying Connections for a Universal Relation Scheme Database (DM, DSW), pp. 1–7.
SIGMOD-1981-MaierW #database #relational: Incorporating Computed Relations in Relational Databases (DM, DSW), pp. 176–187.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.