Using data groups to specify and check side effects - LEINO, K. Rustan M; POETZSCH-HEFFTER, Arnd; YUNHONG ZHOU (Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02), 2002)
text