Datalog (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2011

Distributed Datalog RevisitedAbiteboul, Serge, Bienvenu, Meghyn, Galland, Alban, Rousset, Marie-Christine. In Datalog 2.0 Workshop. 2011: [classification]

Datalog and emerging applications: an interactive tutorialShan Shan Huang, Todd Jeffrey Green, Boon Thau Loo. In SIGMOD 2011. 2011: 1213-1216 [classification]

Geometric encoding: forging the high performance context sensitive points-to analysis for JavaXiao Xiao, Charles Zhang. ISSTA 2011: 188-198 [doi] [classification]

2010

Datalog to SQL Steven Arz, Steven Arzt. 2010. [classification]

SecureBlox: customizable secure distributed data processingWilliam R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref. SIGMOD 2010: 723-734 [doi] [classification]

2009

2008

2007

2006

codeQuest: Scalable Source Code Queries with DatalogElnar Hajiyev, Mathieu Verbaere, Oege de Moor. ECOOP 2006: 2-27 [doi] [classification]

Program analysis using binary decision diagramsOndrej Lhotak. PhD thesis, McGill University, Montreal, Quebec, Canada, 2006. [classification]

2005

2003

Navigating and querying code without getting lostDoug Janzen, Kris De Volder. AOSD 2003: 178-187 [doi] [classification]

Scaling Java Points-to Analysis Using SPARKOndřej Lhoták, Laurie J. Hendren. cc 2003: 153-169 [doi] [classification]

2002

Transforming the .NET intermediate language using path logic programmingStephen Drape, Oege de Moor, Ganesh Sittampalam. ppdp 2002: 133-144 [doi] [classification]

1996

Practical Program Analysis Using General Purpose Logic Programming Systems - A Case StudySteven Dawson, C. R. Ramakrishnan, David Scott Warren. PLDI 1996: 117-126 [classification]

1994

Modular Stratification and Magic Sets for Datalog Programs with NegationKenneth A. Ross. JACM, 41(6):1216-1266, 1994. [doi] [classification]

1993

Maintaining Views IncrementallyAshish Gupta, Inderpal Singh Mumick, V. S. Subrahmanian. SIGMOD 1993: 157-166 [doi] [classification]

Demand Interprocedural Program Analysis Using Logic DatabasesThomas W. Reps. deductive 1993: 163-196 [classification]

1989

What you Always Wanted to Know About Datalog (And Never Dared to Ask)Stefano Ceri, Georg Gottlob, Letizia Tanca. tkde, 1(1):146-166, 1989. [doi] [classification]

1988

Unfold/Fold Transformations and Loop Optimization of Logic ProgramsSaumya K. Debray. PLDI 1988: 297-307 [classification]

1986

Magic Sets and Other Strange Ways to Implement Logic ProgramsFrançois Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman. PODS 1986: 1-15 [doi] [classification]

Sign in or sign up to see more results.

runs on WebDSL