Symbolic support graph: A space efficient data structure for incremental tabled evaluation

Lecture Notes in Computer Science

Volumn 3668, Issue , 2005, Pages 235-249

  Saha, Diptikalyan ^a   Ramakrishnan, C R ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATION THEORY; DATA STRUCTURES; EVALUATION; INFORMATION ANALYSIS; LOGIC PROGRAMMING;

INCREMENTAL ANALYZERS; INCREMENTAL EVALUATION; SUPPORT GRAPHS;

GRAPH THEORY;

EID: 27144558616     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11562931_19     Document Type: Conference Paper

References (31)

1. U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In POPL, pages 247-259. ACM Press, 2002.
2. L. O. Anderson. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Unversity of Copenhagen, 1994.
3. K. Apt and J. M. Pugin. Maintenance of stratified databases viewed as a belief revision system. In Principles of Database Systems, pages 136-145. ACM Press, 1987.
4. S. Basu, K. N. Kumar, L. R. Pokorny, and C. R. Ramakrishnan. Resource-constrained model checking of recursive programs. In TACAS, volume 2280 of LNCS, pages 236-250, 2002.
5. R. Bol and L. Degerstadt. Tabulated resolution for well-founded semantics. In ILPS, 1993.
6. R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, 1986.
7. W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1):20-74, 1996.
8. S. Dawson, C. R. Ramakrishnan, and D. S. Warren. Practical program analysis using general purpose logic programming systems - a case study. In ACM PLDI, pages 117-126, 1996.
9. J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231-272, 1979.
10. H. Guo and G. Gupta. A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. In ICLP, pages 181-196. Springer, 2001.
11. A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In SIGMOD, pages 157-166, 1993.
12. A. Gupta and I.S. Mumick. Maintenance of materialized views: Problems, techniques, and applications. IEEE Data Engineering Bulletin, 18(2):3-18, 1995.
13. J. Lu, G. Moerkotte, J. Schue, and V. S. Subrahmanian. Efficient maintenance of materialized mediated views. In ACM SIGMOD, pages 340-351, 1995.
14. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Compiler Construction, pages 213-228. Springer-Verlag, 2002.
15. PAR Prolangs analysis framework. Available at http://www.prolangs. rutgers.edu/public.html.
16. L. L. Pollock and M. L. Soffa. An incremental version of iterative data flow analysis. IEEE Trans. Softw. Eng., 15(12):1537-1549, 1989.
17. C. R. Ramakrishnan et al. XMC: A logic-programming-based verification toolset. In CAV, number 1855 in LNCS, pages 576-580, 2000.
18. T. Reps, T. Teitelbaum, and A. Demers. Incremental context-dependent analysis for language-based editors. TOPLAS, 5(3):449-477, 1983.
19. T. W. Reps. Generating language-based environments. MIT Press, 1984.
20. R. Rocha, F. Silva, and V. Santos Costa. YapTab: A Tabling Engine Designed to Support Parallelism. In Workshop on Tabling in Parsing and Deduction, 2000.
21. D. Saha and C. R. Ramakrishnan. Incremental evaluation of tabled logic programs. In ICLP, volume 2916 of LNCS, pages 389-406, 2003.
22. D. Saha and C. R. Ramakrishnan. Incremental and demand-driven points-to analysis using logic programming. In PPDP, pages 117-128. ACM Press, 2005.
23. D. Saha and C. R. Ramakrishnan. A local algorithm for efficient incremental evaluation of tabled logic programs, 2005. Available at http://www.lmc.cs.sunysb.edu/~dsaha/local.
24. D. Saha and C. R. Ramakrishnan. Symbolic support graph: A space efficient data structure for incremental tabled evaluation, 2005. Available at http://www.lmc.cs.sunysb.edu/~dsaha/symspt.
25. O. V. Sokolsky and S. A. Smolka. Incremental model checking in the modal mu-calculus. In CAV, volume 818 of LNCS, pages 351-363, 1994.
26. G. Swamy. Incremental Methods for Formal Verification and Logic Synthesis. PhD thesis, University of California at Berkeley, 1996.
27. G. Swamy, R. K. Brayton, and V. Singhal. Incremental methods for FSM traversal. In Intl. Conference on Computer Design (ICCD). IEEE Computer Society, 1995.
28. H. Tamaki and T. Sato. OLDT resolution with tabulation. In ICLP, pages 84-98, 1986.
29. XSB. The XSB logic programming system. Available at http://xsb. sourceforge.net.
30. J. Yur, B. G. Ryder, and W. Landi. An incremental flow- and context-sensitive pointer aliasing analysis. In ICSE, pages 442-451, 1999.
31. N. Zhou, Y. Shen, L. Yuan, and J. You. Implementation of a linear tabling mechanism. Journal of Functional and Logic Programming, 2001(10), October 2001.