CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
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.
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.