Thomas Wies Viktor Kuncak Patrick Lam Andreas Podelski Martin C. Rinard Field Constraint Analysis. 157-173 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_11 db/conf/vmcai/vmcai2006.html#WiesKLPR06