R. Manevich, M. Sagiv, G. Ramalingam, and J. Field. Partially disjunctive heap abstraction. In Static Analysis Symp., pages 265--279, August 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automated Verification of the Deutsch-Schorr-Waite - Tree-Traversal Algorithm Alexey Self-citation (Sagiv) (Correct)
No context found.
R. Manevich, M. Sagiv, G. Ramalingam, and J. Field. Partially disjunctive heap abstraction. In Static Analysis Symp., pages 265--279, August 2004.
A Framework for Numeric Analysis of Array Operations - Denis Gopan Gopan Self-citation (Sagiv) (Correct)
No context found.
R. Manevich, M. Sagiv, G. Ramalingam, and J. Field. Partially disjunctive heap abstraction. In Static Analysis Symp., pages 265--279, 2004.
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
R. Manevich, M. Sagiv, G. Ramalingam, and J. Field. Partially disjunctive heap abstraction. In R. Giacobazzi, editor, Proceedings of the 11th International Symposium, SAS 2004, volume 3148 of Lecture Notes in Computer Science, pages 265--279. Springer, aug 2004. Available at http://www.cs.tau.ac.il/#rumster/sas04.pdf.
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