Field Constraint Analysis.

Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard

Browse the full VMCAI paper archive.