Thomas Würthinger Christian Wimmer Hanspeter Mössenböck Array bounds check elimination in the context of deoptimization. 279-295 2009 74 Sci. Comput. Program. 5-6 http://dx.doi.org/10.1016/j.scico.2009.01.002 db/journals/scp/scp74.html#WurthingerWM09