Field constraint analysis (2006)

by T Wies, V Kuncak, P Lam, A Podelski, M Rinard
Venue:In Verification, Model Checking, and Abstract Interpretation (VMCAI