Static detection of loopinvariant data structures (2012)

by G Xu, D Yan, A Rountev
Venue:In European Conference on ObjectOriented Programming (ECOOP