Speculative beats conservative justification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2237, Issue , 2001, Pages 150-165

  Guo, Hai Feng ^a   Ramakrishnan, C R ^a   Ramakrishnan, I V ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENCY; LOGIC PROGRAMMING; MODEL CHECKING; PROLOG (PROGRAMMING LANGUAGE); TABLE LOOKUP;

EXPERIMENTAL EVIDENCE; ITS EFFICIENCIES; ITS EVALUATION; LOGIC PROGRAMS; MODEL CHECKER; PERFORMANCE PROBLEMS; POST PROCESSING; QUERY EVALUATION;

COMPUTER CIRCUITS;

EID: 35048851791     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45635-x_18     Document Type: Conference Paper

References (12)

1. C.R Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka, Y. Dong, X. Du, A. Roychoudhury, and V.N. Venkatakrishnan. Xmc: A logic programming based verification toolset. In Computer Aided Verification, 2000.
2. G.J. Holzmann. The model checker SPIN. In IEEE Transactions on Software Engineering, 23(5):279–295, 1997.
3. S. Dawson, C.R. Ramkrishnan, I.V. Ramakrishnan and T. Swift. Optimizing Clause Resolution: Beyond Unification Factoring. In International Logic Programming Symposium, 1995.
4. J.W. Lloyd. Declarative error diagnosis. In New Generation Computing, 5(2):133–154, 1987.
5. S. Mallet and M. Ducasse. Generating deductive database explanations. Proceedings of ICLP, 154–168, 1999
6. L. Naish, P.W. Dart, and J. Zobel. The NU-prolog debugging environment. In ICLP, pages 521–536, 1989.
7. G. Puebla, F. Bueno, and M. Hermenegildo. A framework for assertion-based debugging in constraint logic programming. In Pre-proceedings of LOPSTR, 1999.
8. Abhik Roychoudhury, C. R. Ramakrishnan, and I. V. Ramakrishnan. Justifying proofs using memo tables. In PPDP 2000, pages 178–189.
9. Y.S. Ramakrishna, C.R. Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka, T. Swift, and D.S. Warren. Efficient model checking using tabled resolution. In CAV, LNCS 1254, 1997.
10. Ehud Y. Shapiro. Algorithmic program diagnosis. In POPL, 1982.
11. XSB. The XSB logic programming system v2.3, 2001. Available by anonymous ftp from www.cs.sunysb.edu/∼sbprolog.
12. Prasad Rao, C.R. Ramakrishnan, and I.V. Ramakrishnan. A Thread in Time Saves Tabling Time. In IICSLP, 1996.