Program specialization - Marlet, Renaud. (Computer engineering series, 2013)