Incremental evaluation of tabled logic programs

Incremental evaluation of tabled logic programs (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Diptikalyan Saha , C. R. Ramakrishnan

Venue:	In ICLP, volume 2916 of LNCS
Citations:	13 - 8 self

BibTeX

@INPROCEEDINGS{Saha03incrementalevaluation,
    author = {Diptikalyan Saha and C. R. Ramakrishnan},
    title = {Incremental evaluation of tabled logic programs},
    booktitle = {In ICLP, volume 2916 of LNCS},
    year = {2003},
    pages = {389--406}
}

Bookmark

OpenURL

Abstract

Citations

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
1739	Foundations of logic programming - Lloyd
552	A Truth Maintenance System - Doyle
477	Points-to analysis in almost linear time - Steensgaard - 1996
312	A safe approximate algorithm for interprocedural aliasing - Landi, Ryder - 1992
266	Maintaining views incrementally - Gupta, Mumick, et al. - 1993
255	Maintenance of materialized views: Problems, techniques, and applications - Gupta, Mumick - 1995
226	Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
202	OLDT resolution with tabulation - Tamaki, Sato - 1986
194	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams - Whaley, Lam - 2004
143	Two algorithms for maintaining order in a list - Dietz, Sleator - 1987
110	Efficient Model Checking Using Tabled Resolution - Ramakrishna, Ramakrishnan, et al.
106	Partial online cycle elimination in inclusion constraint graphs - Fähndrich, Foster, et al. - 1998
104	Ultra-fast aliasing analysis using cla: a million lines of C code in a second - Heintze, Tardieu - 2001
101	S.: Finite differencing of computable expressions - Paige, Koenig - 1982
83	Scalable context-sensitive flow analysis using instantiation constraints - Fähndrich, Rehof, et al. - 2000
79	P.: Incremental Analysis of Constraint Logic Programs - Hermenegildo, Puebla, et al. - 2000
79	Incremental Context-Dependent Analysis for Language-Based Editors - Reps, Teitelbaum, et al. - 1983
77	An Interval-Based Approach to Exhaustive and Incremental Interprocedural DataFlow Analysis - Burke - 1990
75	Efficient Top-Down Computation of Queries under the Well-Founded Semantics - Chen, Swift, et al. - 1995
68	Demand interprocedural dataflow analysis - Horwitz, Reps, et al. - 1995
67	Pointer analysis: Haven’t we solved this problem yet - Hind - 2001
65	Incremental evaluation of computational circuits - Alpern, Hoover, et al. - 1990
63	Practical Program Analysis Using General Purpose Logic Programming Systems --- A Case Study - Dawson, Ramakrishnan, et al. - 1996
60	Polymorphic versus monomorphic flow-insensitive points-to analysis for C - Foster, Fähndrich, et al. - 2000
58	Incremental computation via function caching - Pugh, Teitelbaum - 1989
52	Adaptive functional programming - Acar, Blelloch, et al. - 2002
52	A practical framework for demand-driven interprocedural data flow analysis - Duesterwald, Gupta, et al. - 1997
51	Ecient Maintenance of Materialized Mediated Views - Lu, Moerkotte, et al. - 1995
49	First-Order Incremental Evaluation of Datalog Queries - Dong, Su, et al.
48	Demand-driven pointer analysis - Heintze, Tardieu - 2001
48	Tabulated resolution for well-founded semantics - Bol, Degerstedt - 1993
46	T.: An efficient hybrid algorithm for incremental data flow analysis - Ryder, Marlowe - 1990
45	Effective whole-program analysis in the presence of pointers - Atkinson, Griswold - 1998
45	Demand interprocedural program analysis using logic databases - Reps
44	Incremental data-flow analysis algorithms - Ryder, Paull - 1988
42	Static caching for incremental computation - Liu, Stoller, et al. - 1998
42	Projection merging: reducing redundancies in inclusion constraint graphs - Su, Fähndrich, et al. - 2000
41	An incremental version of iterative data flow analysis. Rice COMP - Pollock, Soffa - 1987
41	Tabling for non-monotonic programming - Swift - 1999
40	Selective memoization - Acar, Blelloch, et al. - 2003
40	D.: Efficient Tabling Mechanisms for Logic Programs - Ramakrishnan, Rao, et al. - 1995
39	MulVAL: A Logic-based Network Security Analyzer - Ou, Govindavajhala, et al. - 2005
38	Client driven pointer analysis - Guyer, Lin - 2003
38	M.: Incremental Maintenance of Externally Materialized Views - Staudt, Jarke - 1996
37	Incremental evaluation for attribute grammars with unrestricted movement between tree modifications - Reps - 1986
36	Beyond Depth-First: Improving tabled logic programs through alternative scheduling strategies - Freire, Swift, et al. - 1997
33	A categorized bibliography on incremental computation - Ramalingam, Reps - 1993
32	Optimized Algorithms for the Incremental Analysis of Logic Programs - Puebla, Hermenegildo - 1996
29	Incremental Analysis of Logic Programs - Hermenegildo, Marriott, et al. - 1994