Viktor Kuncak and Martin Rinard. Existential heap abstraction entailment is undecidable. In 10th Annual International Static Analysis Symposium (SAS 2003), San Diego, California, June 11-13 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) Self-citation (Kuncak Rinard) (Correct)
No context found.
Viktor Kuncak and Martin Rinard. Existential heap abstraction entailment is undecidable. In 10th Annual International Static Analysis Symposium (SAS 2003), San Diego, California, June 11-13 2003.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) Self-citation (Kuncak Rinard) (Correct)
No context found.
Viktor Kuncak and Martin Rinard. Existential heap abstraction entailment is undecidable. In 10th Annual International Static Analysis Symposium (SAS 2003), San Diego, California, June 11-13 2003.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) Self-citation (Kuncak Rinard) (Correct)
No context found.
Viktor Kuncak and Martin Rinard. Existential heap abstraction entailment is undecidable. In 10th Annual International Static Analysis Symposium (SAS 2003), San Diego, California, June 11-13 2003.
Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2004) Self-citation (Kuncak Rinard) (Correct)
No context found.
Viktor Kuncak and Martin Rinard. Existential heap abstraction entailment is undecidable. In 10th Annual International Static Analysis Symposium (SAS 2003), San Diego, California, June 11-13 2003.
Typestates for Objects - Deline, Fahndrich (2004) (10 citations) (Correct)
No context found.
Kuncak, V., Rinard, M.: Existential heap abstraction entailment is undecidable. In: Proceedings of the 10th International Static Analysis Symposium. (2003)
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