J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, volume 2694 of Lecture Notes in Computer Science. Springer, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Safety Properties using Separation and - Heterogeneous Ions Eran Self-citation (Ramalingam Yahav) (Correct)
No context found.
J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In Proc. of SAS'03, volume 2694 of LNCS, pages 439--462. Springer, June 2003.
Verifying Safety Properties using Separation and - Heterogeneous Ions Eran Self-citation (Ramalingam Yahav) (Correct)
No context found.
J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In Proc. of SAS'03, volume 2694 of LNCS, pages 439--462. Springer, June 2003.
Modular Pluggable Analyses for Data Structure Consistency - Kuncak, Lam, Zee, Rinard (Correct)
No context found.
J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, volume 2694 of Lecture Notes in Computer Science. Springer, 2003.
Parametric Regular Path Queries - Tom (Correct)
No context found.
J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In Proceedings of the 10th International Static Analysis Symposium, volume 2694 of LNCS, pages 439--462. Springer-Verlag, Berlin, 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