T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard. Field constraint analysis. In Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI), 2006. A Proofs In this appendix, we prove all theorems except Theorem 5, which is proven in Appendix B.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard Self-citation (Kuncak Rinard) (Correct)
No context found.
T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard. Field constraint analysis. In Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation, 2006.
A Better Logic and Decision Procedure for Predicate.. - Rakamaric, Bingham, Hu (2006) (Correct)
No context found.
T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard. Field constraint analysis. In Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI), 2006. A Proofs In this appendix, we prove all theorems except Theorem 5, which is proven in Appendix B.
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