TY - THES DP - http://www.theses.fr/2016LYSEN030 TI - Tools for the Design of Reliable and Efficient Functions Evaluation Libraries AU - Torres, Serge A3 - Muller, Jean-Michel PY - 2016 N1 - Thèse de doctorat Informatique Lyon 2016 N1 - 2016LYSEN030 UR - http://www.theses.fr/2016LYSEN030/document ER -