Arnd Poetzsch-Heffter, and Yunhong Zhou. Using data groups to specify and check side effects (2002)

by K Rustan M Leino
Venue:In Proc. ACM PLDI