Incremental evaluation of tabled prolog: Beyond pure logic programs

Incremental evaluation of tabled prolog: Beyond pure logic programs (2006)

Cached

Download Links

[www.lmc.cs.sunysb.edu]
[www.lmc.cs.sunysb.edu]

Other Repositories/Bibliography

DBLP

by Diptikalyan Saha , C. R. Ramakrishnan

Venue:	Lecture Notes in Computer Science
Citations:	6 - 3 self

BibTeX

@INPROCEEDINGS{Saha06incrementalevaluation,
    author = {Diptikalyan Saha and C. R. Ramakrishnan},
    title = {Incremental evaluation of tabled prolog: Beyond pure logic programs},
    booktitle = {Lecture Notes in Computer Science},
    year = {2006},
    pages = {215--229},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

Citations

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
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
63	Practical Program Analysis Using General Purpose Logic Programming Systems --- A Case Study - Dawson, Ramakrishnan, et al. - 1996
52	Adaptive functional programming - Acar, Blelloch, et al. - 2002
41	An incremental version of iterative data flow analysis. Rice COMP - Pollock, Soffa - 1987
36	Beyond Depth-First: Improving tabled logic programs through alternative scheduling strategies - Freire, Swift, et al. - 1997
32	Optimized Algorithms for the Incremental Analysis of Logic Programs - Puebla, Hermenegildo - 1996
28	A strong-connectivity algorithm and its application in data flow analysis - Sharir - 1981
28	Implementation of a linear tabling mechanism - Zhou, Shen, et al. - 2001
26	Incremental model checking in the modal mu-calculus - Sokolsky, Smolka - 1994
23	A survey of current methods for integrity constraint maintenance andviewupdating - MAYOL, TENIENTE
22	Incremental validation of xml documents - Balmin, Papakonstantinou, et al.
22	A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives - Guo, Gupta - 2001
16	Efficient implementation of general logical queries - Chen, Swift, et al. - 1993
16	Program analysis and specialization for the C programming language - ANDERSON - 1994
16	Incremental and demanddriven points-to analysis using logic programming - SAHA, RAMAKRISHNAN
14	W.: An incremental flow- and context-sensitive pointer aliasing analysis - Yur, Ryder, et al. - 1999
13	Incremental evaluation of tabled logic programs - Saha, Ramakrishnan - 2003
7	YapTab: A Tabling Engine Designed to Support Parallelism - Rocha, Silva, et al. - 2000
6	Symbolic support graph: A space efficient data structure for incremental tabled evaluation - Saha, Ramakrishnan - 2005
6	The XSB logic programming system. Available at http://xsb.sourceforge.net - XSB
4	Ramakrishnan et al. XMC: A logic-programming-based verification toolset - R - 2000
3	Prolangs analysis framework. Available at http://www.prolangs.rutgers. edu/public.html - PAF
2	Adaptive functional programming. In POPL,pages 247-259 - Acar, Blelloch, et al. - 1986
1	Incremental evaluation of tabled logic programs - Hermenegildo, Puebla, et al. - 1995
1	A practical framework for incremental evaluation, 2005. Available at http://www.lmc.cs.sunysb.edu/˜dsaha/callg - Saha, Ramakrishnan