Justification based on program transformation (extended abstract)

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

Volumn 2664, Issue , 2003, Pages 158-159

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

^a UNIVERSITY OF NEBRASKA AT OMAHA   (United States)

^b STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248884770     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45013-0_13     Document Type: Article

References (8)

1. E.M. Clarke, O. Grumberg, K.L. McMillan, and X. Zhao. Efficient generation of counterexamples and witnesses in symbolic model checking. In Design Automation Conference, pages 424-435, 1995.
2. Hai-Feng Guo, C.R. Ramakrishnan, and I.V. Ramakrishnan. Speculative beats conservative justification. In International Conference on Logic Programming, pages 150-165, 2001.
3. Hai-Feng Guo, C.R. Ramakrishnan, and I.V. Ramakrishnan. Justification based on program transformation. Technical Report, 2002. Available from http ://www.faculty.ist.unomaha.edu/hguo/papers/lopstr02/ext.pdf.
4. J.W. Lloyd. Foundations of Logic Programming, Second Edition. Springer-Verlag, 1987.
5. A. Pettorossi and M. Proietti. Automatic derivation of logic programs by transformation. In Lecture Notes for the 2000 European Summer School on Logic, Language, and Information, 2000.
6. C.R Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka, Y. Dong, X. Du, A. Roy-choudhury, and V.N. Venkatakrishnan. Xmc: A logic programming based verification toolset. In Computer Aided Verification, 2000.
7. Parthasarathi Roop. Forced simulation: a formal approach to component based development of embedded systems, 2000. PhD thesis.
8. Abhik Roychoudhury, C. R. Ramakrishnan, and I. V. Ramakrishnan. Justifying proofs using memo tables. In Principles and Practice of Declarative Programming, pages 178-189, 2000.