Runtime techniques and interprocedural analysis in Java virtual machines - Qian, Feng, 1973- (McGill University, 2006)