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
Context Related Articles Check |
This paper is cited by the following papers:
A Better Logic and Decision Procedure for Predicate.. - Rakamaric, Bingham, Hu (2006) (Correct)
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard Self-citation (Kuncak Rinard) (Correct)
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