Reducing Lookups for Invariant Checking. - Jakob G. Thomsen; Christian Clausen; Kristoffer Just Andersen; John Danaher 002; Erik Ernst (ECOOP, 2013)