Using Data Groups to Specify and Check Side Effects.

K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou

Browse the full PLDI paper archive.