R. Manevich, E. Yahav, G. Ramalingam, and M. Sagiv. Predicate abstraction and canonical abstraction for singly-linked lists. In: VMCAI, LNCS 3385, pp. 181--198, 2005. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
R. Manevich, E. Yahav, G. Ramalingam, and M. Sagiv. Predicate abstraction and canonical abstraction for singly-linked lists. In: VMCAI, LNCS 3385, pp. 181--198, 2005.
A Better Logic and Decision Procedure for Predicate.. - Rakamaric, Bingham, Hu (2006) (Correct)
No context found.
R. Manevich, E. Yahav, G. Ramalingam, and M. Sagiv. Predicate abstraction and canonical abstraction for singly-linked lists. In Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI), pages 181--198, 2005.
A Logic and Decision Procedure for Predicate Abstraction of .. - Bingham, Rakamaric (2005) (1 citation) (Correct)
No context found.
R. Manevich, E. Yahav, G. Ramalingam, and M. Sagiv. Predicate abstraction and canonical abstraction for singly-linked lists. In Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI), pages 181--198, 2005.
A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (4 citations) (Correct)
No context found.
R. Manevich, E. Yahav, G. Ramalingam, and S. Sagiv. Predicate abstraction and canonical abstraction for singly-linked lists. Proceedings of 6th VMCAI , pp181198, 2005.
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
R. Manevich, E. Yahav, G. Ramalingam, and M. Sagiv. Predicate abstraction and canonical abstraction for singly-linked lists. In R. Cousot, editor, Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2005.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC