Sebastian Pop Albert Cohen Georges-André Silber Induction Variable Analysis with Delayed Abstractions. 218-232 2005 conf/hipeac/2005 HiPEAC http://dx.doi.org/10.1007/11587514_15 db/conf/hipeac/hipeac2005.html#PopCS05