Program specialization - Marlet, Renaud (ISTE, 2013)